IMSc Library catalog › Details for: Automated Deduction

Normal view MARC view ISBD view

Automated Deduction - CADE 11 11th International Conference Proc.,Saratoga Springs,NY,1992

By: Kapur,D. EdMaterial type: Text

TextSeries: Lecture notes in artificial intelligence ; 00607Publication details: Berlin ; Springer Verlag ; 1992Description: 793ISBN: 3540556028Subject(s): Automation

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		29167

							Next
	681 LNCS Algorithm Theory - SWAT '92, Third Scandinavian workshop on algorithm theory, Helsinki, Finland, July 1992, proceedings	681 LNCS Axioms and hulls	681 LNCS Automated Deduction - CADE 11	681 LNCS Advances in Petri Nets 1992	681 LNCS Object-Based Concurrent Computing	681 LNCS Constructivity in Computer Science	Next

There are no comments on this title.

to post a comment.