Benutzerdefiniertes Cover
Automated theorem proving : after 25 years. Proceedings of the special session on automatic theorem proving 89th annual meeting of the American Mathematical Society, held in Denver, Colorado, January 5 - 9, 1983 / ed. by W. W. Bledsoe ...
Mitwirkende(r): Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Contemporary mathematics ; 29Verlag: Providence, RI : American Mathematical Soc., 1984Beschreibung: IX, 360 S : graph. Darst ; 26 cmISBN:- 082185027X
- 511.3
- QA76.9.A96
| Medientyp | Heimatbibliothek | Standort | Signatur | Status | Barcode | |
|---|---|---|---|---|---|---|
| Freihandbestand ausleihbar | Fachbibliothek Mathematik | Bibliothek / frei aufgestellt | Konf. / 1983 / Den | Verfügbar | 36312950090 |
Anzahl Vormerkungen: 0