Higher order logic theorem proving and its applications : proceedings

By:

Material type: Text

TextLanguage: English Series: Lecture notes in computer science, v 780Publication details: Berlin Springer Verlag 1994Description: ix,517pISBN:

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 4th Floor	5.131 In61(6) (Browse shelf(Opens below))	Available		114442

Total holds: 0

Previous		No cover image available			No cover image available	No cover image available		Next
Previous	5.131 In61(4) Graph grammar and their application to computer science : proceedings	5.131 In61(4) Field programmable logic : architectures,synthesis and applications : proceedings	5.131 In61(4) Logic program synthesis and transformation meta-programming in logic : proceedings	5.131 In61(6) Higher order logic theorem proving and its applications : proceedings	5.131 In61(7) Higher order logic theorem : proceedings	5.131 In61(91) Attribute grammars,applications and systems : proceedings	5.131 In61(92) Logical foundations of computer science : proceedings	Next

There are no comments on this title.

to post a comment.