UID:
kobvindex_ZLB14101378
Umfang:
XV, 680 Seiten
,
graph. Darst.
,
24 cm
ISBN:
9783540371878
,
3540371877
Serie:
Lecture notes in computer science
Anmerkung:
Text engl.
Sprache:
Englisch
Schlagwort(e):
Automatisches Beweisverfahren
;
Kongress
;
Seattle, Wash. 〈2006〉
;
Programmierlogik
;
Kongress
;
Seattle, Wash. 〈2006〉
;
Beweistheorie
;
Logik
;
Kongress
;
Seattle, Wash. 〈2006〉
;
Kongress
;
Konferenzschrift