IMSc Library catalog › Details for: Computational logic and proof theory: 5th Kurt G�del Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings

Cover image

Normal view MARC view ISBD view

Computational logic and proof theory: 5th Kurt G�del Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings

By: Gottlob, Georg | Leitsch, Alexander | Mundici, Daniele EdsMaterial type: Text

Text

TextSeries: Lecture notes in computer science ; 01289Publication details: Berlin ; Springer ; 1997Description: 348ISBN: 3540633855Subject(s): Automatic theorem proving Congresses. Logic, Symbolic and mathematical Congresses

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)

Holdings ( 1 )
Comments ( 0 )

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

Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)

Previous
Previous	681 LNCS Automata implementation: First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996 : revised papers	681 LNCS Fundamentals of computation theory: 11th International Symposium, FCT '97, Krak�w, Poland, September 1-3, 1997 : proceedings	681 LNCS Computer aided verification : 9th international conference, CAV'97, Israel, June 1997	681 LNCS Computational logic and proof theory: 5th Kurt G�del Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings

There are no comments on this title.

to post a comment.

Print
Suggest for purchase
Save record
BIBTEX Dublin Core RIS MARC (Unicode/UTF-8, Standard)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Share

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha