IMSc Library catalog › Results of search for 'su:"Automated Deduction"'

Your search returned 3 results.

Not what you expected? Check for suggestions

			Tenth International Conference on Automated Deduction Proceedings, Kaiserslautern, FRG, 1990 by Stickel, M E. Ed. Series: Lecture notes in artificial intelligence ; 00449Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 11 Call number: 681 LNCS. Place hold Log in to add tags
			5th Conference on Automated Deduction, Les Arcs, France, 1980 by Bibel, W. Ed \| Kowalski, R. Ed. Series: Lecture notes in computer science ; 00087Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1980Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 47 Call number: 681 LNCS. Place hold Log in to add tags
			Automated Deduction Proceedings, 9th Int.Conf., Argonne, USA, 1988 by Lusk, E. Ed \| Overbeek, R. Ed. Series: Lecture notes in computer science ; 00310Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1988Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 6 Call number: 681 LNCS. Place hold Log in to add tags