Umfang:
1 Online-Ressource (VIII, 446 S.)
ISBN:
3540615873
Serie:
Lecture notes in computer science 1125
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
HOL
;
Automatisches Beweisverfahren
;
Konferenzschrift
;
Konferenzschrift
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
Mehr zum Autor:
Wright, Joakim von 1955-