Umfang:
IX, 408 S. :
,
graph. Darst.
ISBN:
3-540-28372-2
,
978-3-540-28372-0
Serie:
Lecture notes in computer science 3603
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Automatisches Beweisverfahren
;
HOL
;
Konferenzschrift
;
Konferenzschrift
;
Konferenzschrift
;
Kongress
;
Konferenzschrift
;
Konferenzschrift
URL:
http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3603