Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Artificial intelligence"
Treffer 64 von 224
|
|
| Link zu diesem Datensatz | https://d-nb.info/920778801 |
| Art des Inhalts | Konferenzschrift, 1992, Saratoga Springs (NY) |
| Titel | Automated deduction : proceedings / CADE-11, Saratoga Springs, NY, USA, June 15 - 18, 1992. D. Kapur (ed.) |
| Person(en) | Kapur, Deepak (Herausgeber) |
| Organisation(en) | CADE (11 : 1992 : Saratoga Springs, NY, International Conference on Automated Deduction) (Herausgebendes Organ) |
| Verlag | Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer |
| Zeitliche Einordnung | Erscheinungsdatum: 1992 |
| Umfang/Format | XV, 793 S. : graph. Darst. ; 25 cm |
| ISBN/Einband/Preis |
978-3-540-55602-2 (Berlin ...) kart. : DM 144.00 3-540-55602-8 (Berlin ...) kart. : DM 144.00 978-0-387-55602-4 (New York ...) kart. 0-387-55602-8 (New York ...) kart. |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Lecture notes in computer science ; 607 : Lecture notes in artificial intelligence |
| Anmerkungen |
Literaturangaben Status nach VGG: lieferbar |
| Schlagwörter |
Automatisches Beweisverfahren ; Kongress ; Saratoga Springs |
| Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
| Weiterführende Informationen | Inhaltsverzeichnis |
| Frankfurt |
Signatur: D 92/36311
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: SA 24055-607
Bereitstellung in Leipzig |
Treffer 64 von 224
Administration
