Your search returned 6 results.

Results
	1.	Logic for computer science : foundations of automatic theorem proving by Jean H. Gallier. by Gallier, Jean H Material type: Book Publication details: New York John Wiley 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N877.
	2.	Computational logic handbook by Robert S. Boyer, J. Strother Moore by Boyer, Robert S Moore, Strother J Series: Perspectives in computing V.23 Material type: Book Publication details: Boston Academic Press 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N885.
	3.	No cover image available Logic for computer science foundation of automatic theorem proving by Jean H. Gallier by Gallier, Jean H Series: Harper and Row Computer Science and Technology Series Material type: Book Publication details: New York Harper & Row, Pub. 1986 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N861;2. Place hold
	4.	No cover image available Logic for computer science foundations of automatic theorem proving by Jean H. Gallier by Gallier, Jean H Series: Harper And Row Computer Science and Technology Series Material type: Book Publication details: Cambridge Harper & Row, Pub. 1986 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N861. Place hold
	5.	Seventh international conference on automated deduction by R. E. Shostak by International Conference on Automated Deduction (Napa, California 1984) Shostak, R. E Series: Lecture Notes in Computer Science V.170 Material type: Book Publication details: Berlin Springer-Verlag 1984 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N841. Place hold
	6.	Logic for computer science - foundations of automatic theorem proving by Jean H. Gallier by Gallier, Jean H Series: Harper & Row computer science and technology series Material type: Book Publication details: Cambridge Harper & Row 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N861;1 R(T).

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

Powered by Koha