Conference on Automated Deduction 5 Les Arcs, France, July 8 - 11, 1980 / ed. by W. Bibel ..
Materialtyp:
TextSprache: Englisch Reihen: ; 87 | Lecture notes in computer science ; 87Gesamtaufnahme: Conference on Automated DeductionVerlag: 1980Beschreibung: VII, 385 S. Ill., graph. DarstInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 3540100091
- 0387100091
- 511.3
- QH 500
- SS 4800
| Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | |
|---|---|---|---|---|---|---|---|---|
Buch
|
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Series (GF) | LNCS 87 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2000000000404 |
Bibel, W.: 5th Conference on Automated Deduction