UID:
kobvindex_ZLB15194989
Format:
XII, 534 Seiten
,
graph. Darst.
,
24 cm
ISBN:
9783642142024
Series Statement:
Lecture notes in computer science
Note:
Literaturangaben
,
Text engl.
Language:
English
Keywords:
Automatisches Beweisverfahren
;
Kongress
;
Edinburgh 〈2010〉
;
Programmierlogik
;
Kongress
;
Edinburgh 〈2010〉
;
Beweistheorie
;
Logik
;
Kongress
;
Edinburgh 〈2010〉
;
Kongress
;
Konferenzschrift