Normal view MARC view ISBD view

Logic for computer science : foundations of automatic theorem proving

Gallier, Jean H.

Logic for computer science : foundations of automatic theorem proving - - New York Harper and Row 1986 - xv,511 p. 23 cm - .

ISBN: 0-06-042225-4

Subjects--Topical Terms:

Automatic theorem proving , Logic, Symbolic and mathematical

Universal Decimal Class. No.: 517.1:681.3Gal

Print
Add to your cart (remove)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)