| EAN: | 9783540439974 |
|---|---|
| Sachgruppe: | Informatik, EDV |
| Sprache: | Englisch |
| Seitenzahl: | 656 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Brinksma, Ed Larsen, Kim G. |
| Veröffentlichungsdatum: | 19.07.2002 |
| Untertitel: | 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings |
| Schlagworte: | Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Verifikation - verifizieren |
106,99 €*
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
Includes supplementary material: sn.pub/extras