Suchfeld einblenden
Schlagwort Zwei
1 Treffer
Seite < 1 >
The seventeen provers of the world
/ Freek Wiedijk (ed.) .... - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3600 : Lecture notes in artificial intelligence)
ISBN 978-3-540-32888-9
Lizenzpflichtig
Quelle: DNB
Seite < 1 >