Your search returned 4 results.

Results
	1.	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
	2.	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
	3.	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).
	4.	Prolog programming techniques and applications by susan Garavaglia by Garavaglia, susan Series: Harper & Row computer science and technology series ; Material type: Book Publication details: cambridge Harper and Row 1987 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.133 N8718. Place hold

Refine your search