GERMAN

Automatisierung von Terminierungsbeweisen

By Christoph Walther (auth.) , Wolfgang Bibel (eds.)

Book information

Publisher
Vieweg+Teubner Verlag
Year
1991
ISBN
978-3-528-04771-9, 978-3-322-85404-9
DOI
10.1007/978-3-322-85404-9
Language
german
Format
PDF
Filesize
10 MB (10776925 bytes)
Series
Artificial Intelligence / Künstliche Intelligenz
Edition
1
Pages
253\263
Orientation
yes
Scanned
yes
Time added
2013-08-01 04:00:00
Computer Sciencegeneral

Similar books