Format:
1 Online-Ressource (XVI, 157 S.)
ISBN:
3540307044
,
9783540307044
,
9783540328889
Series Statement:
Lecture notes in computer science 3600 : Lecture notes in artificial intelligence
Note:
Literaturangaben
Language:
English
Keywords:
Wurzel
;
Zwei
;
Irrationale Zahl
;
Automatisches Beweisverfahren
;
Verzeichnis
Author information:
Wiedijk, Freek