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 ...

Contributor(s):

Resource type: Ressourcentyp: BuchBookLanguage: English Series: Contemporary mathematics ; 29Publisher: Providence, RI : American Mathematical Soc., 1984Description: IX, 360 S : graph. Darst ; 26 cmISBN:

Subject(s):

Genre/Form:

DDC classification:

RVK: RVK: SI 805LOC classification:

PPN: PPN: 022157069

Holdings
Item type	Home library	Shelving location	Call number	Status	Barcode
Freihandbestand ausleihbar	Fachbibliothek Mathematik	Bibliothek / frei aufgestellt	Konf. / 1983 / Den	Available	36312950090

Total holds: 0