|  |
| |
| Artikel-Nr.:
5667A-9783540209270 Herst.-Nr.:
9783540209270 EAN/GTIN:
9783540209270 |
| |
|
| | |
| 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers Weitere Informationen: | | Author: | Franz Winkler | Verlag: | Springer Berlin | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, Geometrie, Raumlehre, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Automat; Resolution; Robotics; automated deduction; computer; computer algebra; proving; robot; theorem proving, Automat, Resolution, automated deduction, computer, computer algebra |
| | |
| |