Logic for computer science : foundations of automatic theorem proving /

other_versions_link
Bibliographische Detailangaben
1. Verfasser: Gallier, Jean H.
Format: Printed Book
Sprache:English
Veröffentlicht: New York, NY : Harper & Row, c1986.
Schlagworte:
Computer science
Beschreibung
Beschreibung:xv, 511 p. ;
ISBN:0060422254

Ähnliche Einträge