Format:
XII, 186 S.
,
graph. Darst.
ISBN:
3540762566
Series Statement:
Distinguished dissertations
Note:
Zugl.: Cambridge, Univ., Diss.
Language:
English
Subjects:
Computer Science
Keywords:
HOL
;
Reelle Zahl
;
Automatisches Beweisverfahren
;
Computeralgebra
;
Reelle Zahl
;
Hochschulschrift
;
Hochschulschrift
Bookmarklink