UID:
kobvindex_ZLB13557585
Umfang:
XIII, 436 Seiten
,
graph. Darst.
,
24 cm, 680 gr.
Ausgabe:
1. Aufl.
ISBN:
3540201017
Serie:
Lecture notes in computer science
Anmerkung:
Literaturangaben
,
Text engl.
Sprache:
Englisch
Schlagwort(e):
Logische Programmierung
;
Kongress
;
Almaty 〈2003〉
;
Automatisches Beweisverfahren
;
Kongress
;
Almaty 〈2003〉
;
Programmierlogik
;
Kongress
;
Almaty 〈2003〉
;
Kongress
;
Konferenzschrift