KOBV Portal

Hits per page

hit 1 - 1 | 1 hit

Select All Export

Book

Wiedijk, Freek

Berlin [u.a.] :Springer,

Show associated volumes

add to watchlist on the watchlist

Details

UID:

almahu_BV021556049

Format: XVI, 157 S. ; , 24 cm.

ISBN: 978-3-540-30704-4 , 3-540-30704-4

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 ; Verzeichnis ; Verzeichnis

URL: Inhaltsverzeichnis

URL: Einführung/Vorwort

URL: Cover

URL: Inhaltstext

URL: http://www.loc.gov/catdir/enhancements/fy0663/2005939043-d.html

Author information: Wiedijk, Freek

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Stabi Berlin

HU Berlin

TU Berlin

hit 1 - 1 | 1 hit

Kooperativer Bibliotheksverbund