Logic for computer science: foundations of automatic theorem proving

Bibliografiska uppgifter
Huvudupphovsman: Gallier, Jean H; Author
Materialtyp: Printed Book
Publicerad: New York, John Wiley & Sons, Inc 1987
Ämnen:
Automatic theorem proving
Computer science
Logic, Symbolic and mathematical

MG University

Beståndsuppgifter i MG University
Signum: 511.3 M7
Exemplar Status otillgänglig

Liknande verk