Your search returned 7 results.

Results
	1.	6th conference on automated deduction ed, by D. W. Loveland. by Conference on automated deduction (6th New york, 1982) loveland, D. W., ed Series: Lecture notes in computer science No.138 Material type: Text Publication details: Berlin Springer-Verlag 1982 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6406 N82.
	2.	No cover image available 10th International Conference on Automated Deduction by Mark E. Stickel by Stickel, Mark E Series: Lecture notes in computer science Material type: Text Publication details: New York Springer Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 . Place hold
	3.	No cover image available 5th Conference on Automated Deduction Les Arcs ed. by Wolfgang Bibel and Robert Kowalski by Conference on Automated Deduction (5 France 1980) Bibel, Wolfgang ed Kowalski, Robert ed Series: Lecture Notes in Computer Science Material type: Text Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005 . Place hold
	4.	No cover image available 6th Conference on Automated Deduction ed. by D. W. Loveland by Loveland, D.W. ed Series: Lecture notes in computer science Material type: Text Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.3 . Place hold
	5.	No cover image available 7th International Conference on Automated Deduction ed by R. E. Shostak by Shostak, R. E. ed Series: Lecture notes in computer science Material type: Text Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.3 . Place hold
	6.	No cover image available 8th International Conference on Automated Deduction ed by JÆ̉±rg H. Siekmann by Siekmann, H. ed Series: Lecture notes in computer science Material type: Text Publication details: New York Springer Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.3 . Place hold
	7.	No cover image available 9th International Conference on Automated Deduction ed by Ewing Lusk and Ross Overbeek by Lusk, Ewing ed Overbeek, Ross ed Series: Lecture Notes in Computer Science Material type: Text Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.3 . Place hold

Copyright © 2024. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012
Contact Phone: +91 80 2293 2832