A Computational Logic Handbook (Perspectives in Computing)

Boyer, Robert S., Moore, J. Strother

ISBN 10: 0121229521 / ISBN 13: 9780121229528

Editore: Academic Pr, 1988

Riguardo questo articolo

Like New.

Codice articolo ERICA75801212295215

Dati bibliografici

• Titolo: A Computational Logic Handbook (Perspectives in Computing)
• Editore: Academic Pr
• Data di pubblicazione: 1988
• Lingua: Inglese
• ISBN 10: 0121229521
• ISBN 13: 9780121229528
• Rilegatura: Hardcover
• Condizione: Like New
• Tipo di libro: book

Descrizione articolo

Riassunto

Contains a precise and complete description of the computational logic developed by the authors; will serve also as a reference guide to the associated mechanical theorem proving system. Annotation copyright Book News, Inc. Portland, Or.

Product Description

Book by Boyer Robert S Moore J Strother