Automated reasoning essays in honor of Woody Bledsoe

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Boyer, Robert S. (BerichterstatterIn), Bledsoe, Woody W. (GefeierteR)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Dordrecht u.a. Kluwer Acad. 1991
Schriftenreihe:	Automated reasoning series 1
Schlagworte:	Bledsoe, Woody W. > Künstliche Intelligenz > Artificial intelligence > Automatic theorem proving > Aufsatzsammlung > Festschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!