IMSc Library catalog › Details for: Computer Science Logic, Proceedings of the 15th International Workshop, Paris, CSL 2001

Normal view MARC view ISBD view

Computer Science Logic, Proceedings of the 15th International Workshop, Paris, CSL 2001

By: Fribourg, Laurent. EdMaterial type: Text

TextSeries: Lecture notes in computer science ; 02142Publication details: Berlin ; Springer ; 2001Description: 614ISBN: 3540425543Subject(s): Computer Science Logic

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		47096

Previous							No cover image available	Next
Previous	681 LNCS Formal Methods and Performance Analysis : First Summer School, Netherlands, 2000	681 LNCS Modeling and Verification of Parallel Processes, 4th Summer School, France, 2000	681 LNCS Evolvable Systems : From Biology to Hardware, Proceedings of the 4th International Conference, Tokyo, ICES 2001	681 LNCS Computer Science Logic, Proceedings of the 15th International Workshop, Paris, CSL 2001	681 LNCS Generative Theory of Shape	681 LNCS Logic programming and nonmonotonic reasoning, Proceedings of the 6th International Conference, Austria, 2001	681 LNCS Concur 2001 - Concurrency Theory, Proceedings of the 12th International Conference, Denmark	Next

There are no comments on this title.

to post a comment.