IMSc Library catalog › Details for: Automated Reasoning: second international joint conference, IJCAR 2004 Cork, Ireland, July 4-8, 2004: proceedings

Normal view MARC view ISBD view

Automated Reasoning: second international joint conference, IJCAR 2004 Cork, Ireland, July 4-8, 2004: proceedings

TextSeries: Lecture notes in artificial intelligence ; 03097Publication details: Berlin ; springer ; 2004Description: 491ISBN: 3540223452

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		52542

Previous								Next
Previous	681 LNCS Probabilistic and statistical methods in cryptology	681 LNCS Formal modeling and analysis of timed systems: first international workshop, formats 2003, marseille, france, september 6-7, 2003, reivised papers	681 LNCS Public Key Infrastructure: first European PKI workshop: research and applications, EuroPKI 2004 Samos Island, Greece, June 2004: proceedings	681 LNCS Automated Reasoning: second international joint conference, IJCAR 2004 Cork, Ireland, July 4-8, 2004: proceedings	681 LNCS Lectures on Concurrency and Petri Nets: advances in petri nets	681 LNCS Objects Agents and Features: international seminar Dagstuhl Castle, Germany, February 16-21, 2003: revised and invited papers	681 LNCS Primality Testing in Polynomial Time: from randomized algorithms to Primes is in P	Next

There are no comments on this title.

to post a comment.