IMSc Library catalog › Details for: Propositional Logic : Deduction and Algorithms

Normal view MARC view ISBD view

Propositional Logic : Deduction and Algorithms

TextSeries: Cambridge Tracts in Theoretical Computer Science, 48Publication details: Cambridge ; CUP ; 1999Description: 409ISBN: 0 521 63017 7Subject(s): Logic Algorithms

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.3 BUN (Browse shelf (Opens below))		Available		42771

Previous			No cover image available
Previous	681.3 BRO High Performance Computing and its Applications in the Physical Sciences	681.3 BRZ Asynchronous Circuits	681.3 BUC Finite automata,their algebras and grammars towards a theory of formal expressions	681.3 BUN Propositional Logic : Deduction and Algorithms	681.3 BUR Algebraic Complexity Theory	681.3 BUR Algebraic Complexity Theory	681.3 BUR Algebraic Complexity Theory, Completeness and Reduction in-

There are no comments on this title.

to post a comment.