UID:
kobvindex_ZLB13452654
Umfang:
XIII, 463 Seiten
,
graph. Darst.
,
24 cm
ISBN:
3540000100
Serie:
Lecture notes in computer science 2514
Anmerkung:
Literaturangaben
,
Text engl.
Sprache:
Englisch
Schlagwort(e):
Logische Programmierung
;
Kongress
;
Tiflis 〈2002〉
;
Automatisches Beweisverfahren
;
Kongress
;
Tiflis 〈2002〉
;
Programmierlogik
;
Kongress
;
Tiflis 〈2002〉
;
Kongress
;
Konferenzschrift
Mehr zum Autor:
Baaz, Matthias