Resolution methods for the decision problem

By:

Material type: Text

TextLanguage: English Series: Lecture notes in artificial intelligence,v 679Publication details: Berlin Springer-Verlag 1993Description: viii,205pISBN:

Subject(s):

DDC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings
Item type	Current library	Call number	Status	Date due	Barcode	Item holds
Books	ISI Library, Kolkata	511.3 F361 (Browse shelf(Opens below))	Available		113001

Total holds: 0

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	511.3 F324 Lectures on mathematical logic	511.3 F324 Lectures on mathematical logic	511.3 F324 Lectures on mathematical logic	511.3 F361 Resolution methods for the decision problem	511.3 F373 Computational complexity of logical theories	511.3 F646 Parameterized complexity theory	511.3 F677 General algebraic semantics for sentenial logics	Next

There are no comments on this title.

to post a comment.