Umfang:
XVI, 157 S. ;
,
24 cm.
ISBN:
978-3-540-30704-4
,
3-540-30704-4
Serie:
Lecture notes in computer science 3600 : Lecture notes in artificial intelligence
Anmerkung:
Literaturangaben
Sprache:
Englisch
Schlagwort(e):
Wurzel
;
Zwei
;
Irrationale Zahl
;
Automatisches Beweisverfahren
;
Verzeichnis
;
Verzeichnis
;
Verzeichnis
URL:
http://www.loc.gov/catdir/enhancements/fy0663/2005939043-d.html
Mehr zum Autor:
Wiedijk, Freek