Logic for computer science: foundations of automatic theorem proving

Dettagli Bibliografici
Autore principale: Gallier, Jean H; Author
Natura: Printed Book
Pubblicazione: New York, John Wiley & Sons, Inc 1987
Soggetti:
Automatic theorem proving
Computer science
Logic, Symbolic and mathematical
Descrizione
Descrizione del documento:Includes bibliographical references and index
Jean H Gallier
ISBN:0-471-61546-3

Documenti analoghi