A Computational Logic Handbook (Perspectives in Computing)

Moore, J. Strother,Boyer, Robert S.

ISBN 10: 0121229521 / ISBN 13: 9780121229528

Verlag: Academic Pr, 1988

Beschreibung

Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Bestandsnummer des Verkäufers S_378725293

Bibliografische Details

Titel: A Computational Logic Handbook (Perspectives...

Verlag: Academic Pr

Erscheinungsdatum: 1988

Einband: Hardcover

Zustand: Good

Über diesen Titel

Inhaltsangabe:

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