Logic For Computer Science Foundations of Automatic theorem Proving

By: GALLIER JEAN HMaterial type: TextTextPublication details: New York John Wiley & sons 1987Description: XV+511 ppISBN: 10987654321Subject(s): Logic For Computer Science | Computer science automatic theorem perform logic;symbolic mathematics
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current library Collection Call number Status Date due Barcode
Engineering Book MVJCE CENTRAL LIBRARY
Mathematics 511.3 GAL (Browse shelf (Opens below)) Available 12866
Engineering Book MVJCE CENTRAL LIBRARY
Mathematics 511.3 GAL;1 (Browse shelf (Opens below)) Available 12867

There are no comments on this title.

to post a comment.

Powered by Koha