Image from Google Jackets

Normal view MARC view ISBD view

FIRST ORDER LOGIC AND AUTOMATED THEOREM PROVING (TEXTS AND MONOGRAPHS IN COMPUTER SCIENCE)

By:

FITTING,MELVIN

Publication details: SV 1990 NEW YORKDescription: 242ISBN:

KBCS

DDC classification:

904

Average rating: 0.0 (0 votes)

No physical items for this record

BR-737

There are no comments on this title.

to post a comment.

Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

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

Facebook Youtube Instagram Linkedin

Find us on the map

Contact Us

Library
Avior Technologies Private Limited
Canal Street, Sreebhumi, Lake Town, South Dumdum, West Bengal

Ph: 8583963369

KOLKATA WEATHER

Powered by Koha