Automated reasoning: essays in honor of Woody Bledsoe
Dordrecht [u.a.]: Kluwer, 1991
Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
- XI, 365 S. : Ill., graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Automated reasoning: essays in honor of Woody Bledsoe
|
---|---|
Verantwortlichkeitsangabe: | ed. by Robert S. Boyer |
Autor/in / Beteiligte Person: | Boyer, Robert S. ; Bledsoe, Woody W. (1921-1995) |
Link: | |
Verwandtes Werk: | |
Veröffentlichung: | Dordrecht [u.a.]: Kluwer, 1991 |
Medientyp: | Festschrift, Aufsatzsammlung, Sammelwerk |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XI, 365 S. : Ill., graph. Darst. |
ISBN: | 0792314093 |
Schlagwort: |
|
Sonstiges: |
|