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

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

Gespeichert in:
Bibliographische Detailangaben
Körperschaften: American Mathematical Society (BerichterstatterIn), Special Session on Automatic Theorem Proving (BerichterstatterIn)
Weitere Verfasser: Bledsoe, Woody W. (HerausgeberIn), Loveland, Donald W. (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Providence, RI American Mathematical Soc. 1984
Schriftenreihe:Contemporary mathematics 29
Schlagworte:
Konferenzschrift > Automatisches Beweisverfahren
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!