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 1991
Schriftenreihe:	Automated reasoning series 1
Schlagworte:
Online Zugang:	Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!