IMSc Library catalog › Details for: Computer Science Logic, Proceedings of the 14th International Workshop, Germany, 2000

Normal view MARC view ISBD view

Computer Science Logic, Proceedings of the 14th International Workshop, Germany, 2000

TextSeries: Lecture notes in computer science ; 01862Publication details: Berlin ; Springer ; 2000Description: 541ISBN: 3540678956Subject(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		45406

							Next
	681 LNCS Automated Reasoning with Analytic Tableaux and Related Methods, Proceedings of the International Conference, St.Andrews, Scotland, UK, 2000	681 LNCS Computational Logic - CL 2000 : Proceedings of the First International Conference, London, 2000	681 LNCS Computer Science Logic, Proceedings of the 14th International Workshop, Germany, 2000	681 LNCS Algorithms - ESA 2000, Proceedings of the 8th Annual Symposium, Germany	681 LNCS Application and Theory of Petri Nets 2000, Proceedings of the 21st International Conference, Aarhus, Denmark, 2000	681 LNCS Computer Security - ESORICS 2000, Proceedings of the 6th European Symposium, France	Next

There are no comments on this title.

to post a comment.