Automated reasoning : essays in honor of Woody Bledsoe

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!
Beschreibung
Beschreibung:XI, 365 S.
Ill., graph. Darst.
ISBN:0792314093
0-7923-1409-3