IMSc Library catalog › Details for: Using Sophisticated Models in Resolution Theorem Proving

Normal view MARC view ISBD view

Using Sophisticated Models in Resolution Theorem Proving

By: Sandford, David MMaterial type: Text

TextSeries: Lecture notes in computer science ; 00090Publication details: Berlin ; Springer Verlag ; 1980Description: 239ISBN: 3540102310Subject(s): Sophisticated Models Resolution Theorem

Item type:

BOOKS

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

Average rating: 0.0 (0 votes)

Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	IMSc Library	681 LNCS (Browse shelf (Opens below))		Available		34714

Previous								Next
Previous	681 LNCS 5th Conference on Automated Deduction, Les Arcs, France, 1980	681 LNCS Relational Theory of Computing	681 LNCS International Symposium on Programming	681 LNCS Using Sophisticated Models in Resolution Theorem Proving	681 LNCS Fundamentals of Computation Theory	681 LNCS Automata, Languages and Programming	681 LNCS Coroutines, Programming Methodology, a Language design and an implementation	Next

There are no comments on this title.

to post a comment.