Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "123426294"
|
|
|
| Link zu diesem Datensatz | https://d-nb.info/801115949 |
| Titel | 5. [Fifth] Conference on Automated Deduction : Les Arcs, France, 1980 / ed. by. W. Bibel and R. Kowalski |
| Person(en) | Bibel, Wolfgang (Herausgeber) |
| Organisation(en) | Conference on Automated Deduction (5 : 1980 : Les Arcs) (Verfasser) |
| Verlag | Berlin, Heidelberg, New York : Springer |
| Zeitliche Einordnung | Erscheinungsdatum: 1980 |
| Umfang/Format | VII, 385 S. : graph. Darst. ; 25 cm |
| ISBN/Einband/Preis |
978-3-540-10009-6 (Berlin, Heidelberg, New York) kart. : DM 38.00 3-540-10009-1 (Berlin, Heidelberg, New York) kart. : DM 38.00 978-0-387-10009-8 (New York, Heidelberg, Berlin) kart. 0-387-10009-1 (New York, Heidelberg, Berlin) kart. |
| Beziehungen | Lecture notes in computer science ; Vol. 87 |
| Anmerkungen |
Literaturangaben. Status nach VGG: lieferbar |
| Schlagwörter | Künstliche Intelligenz ; Künstliche Intelligenz ; Automatische Deduktion |
| Sachgruppe(n) | 19a Mathematik |
| Frankfurt |
Signatur: D 80/24403
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: SA 24055-87
Bereitstellung in Leipzig |

