Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=959035303
Treffer 1 von 1
|
|
| Link zu diesem Datensatz | https://d-nb.info/959035303 |
| Art des Inhalts | Konferenzschrift, 2000, Pittsburgh (Pa.) |
| Titel | Automated deduction : proceedings / CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17 - 20, 2000. David McAllester (ed.) |
| Person(en) | MacAllester, David (Herausgeber) |
| Organisation(en) | CADE (International Conference on Automated Deduction (17 : 2000 : Pittsburgh, Pa.) (Herausgebendes Organ) |
| Verlag | Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Singapore ; Tokyo : Springer |
| Zeitliche Einordnung | Erscheinungsdatum: 2000 |
| Umfang/Format | XIII, 512, [10] S. : graph Darst. ; 24 cm |
| ISBN/Einband/Preis |
978-3-540-67664-5 kart. : DM 114.00 3-540-67664-3 kart. : DM 114.00 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Lecture notes in computer science ; Vol. 1831 : Lecture notes in artificial intelligence |
| Anmerkungen | Literaturangaben |
| Schlagwörter |
Automatisches Beweisverfahren ; Kongress ; Pittsburgh |
| Sachgruppe(n) | 28 Informatik, Datenverarbeitung ; 27 Mathematik |
| Weiterführende Informationen | Inhaltsverzeichnis |
| Frankfurt |
Signatur: 2000 A 34728
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 2000 A 34728
Bereitstellung in Leipzig |
Treffer 1 von 1
Administration
