Your search returned 16 results.

Results
	1.	Logic-based knowledge representation by Peter Jackson, Han Reichgelt and Frank van Harmelen by Reichgelt, Han Harmelen, Frank van Series: MIT press series in logic programming ; Material type: Book Publication details: Cambridge MIT 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.33 JAC.
	2.	Logic-based knowledge representation ed. by Peter Jackson (...) by Jackson, Peter., ed Reichgelt, Han., ed Van Harmelan, Frank., ed Series: MIT Press series in logic programming Material type: Book Publication details: Cambridge MIT 1989 Availability: Items available for reference: Electronic Systems Engineering: Not for loan (1)Call number: 001.642 N896.
	3.	Advanced prolog : techniques and examples. by Peter Ross. by Ross, Peter Series: International series in logic programming ; Material type: Book Publication details: Workingham Addison-Wesley 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.133 N8937.
	4.	Constraint satisfaction in logic programming. by Pascal Van Henteryck. by Van Hentenryck, Pascal Series: Logic programming ; Material type: Book Publication details: Cambridge MIT 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.3 N8934.
	5.	Craft of prolog. by Richard A. O'Keefe. by O' Keefe, Richard A Series: Logic programming Material type: Book Publication details: Cambridge MIT 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.133 N906.
	6.	Logic programming : systematic program development. by Yves Deville. by Deville, Yves Series: International series in logic programming ; Material type: Book Publication details: Wokingham Addison-Wesley 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.133 N9047.
	7.	Craft of prolog by Richard A O'Keefe by O' Keefe, Richard A Series: Logic programming ; Material type: Book Publication details: Cambridge MIT Press 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.133 N906;1.
	8.	Practice of prolog ed. by Leon S Sterling by Sterling, Leon s., ed Series: Logic programming ; Material type: Book Publication details: Cambridge MIT Press 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.133 N9021.
	9.	Logic programming : proceedings ed. by David H.D. Warren and Peter Szeredi. by Warren, David H.D., ed Szeredi, Peter., ed Series: Logic programming ; Material type: Book Publication details: Cambridge MIT Press 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.155 N90.
	10.	Logic programming ed. by Jean-Louis Lassez by proceedings on logic programming ( 4th, Melbourne, 1987) Lassez, Jean-Louis., ed Series: MIT press series in logic programming V.1 Material type: Book Publication details: Cambridge MIT press 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N875.1;1.
	11.	Logic programming:proceedings of the fifth international conference and symposium ed by Robert A Kowalski and Kenneth A Bowen by Kowalski, Robert A., ed Bowen, Kenneth A., ed Series: MIT press series in logic programming ; Material type: Book Publication details: Massachusetts MIT 1988 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 N881. Place hold
	12.	Logic programming:proceedings of the fifth international conference and symposium ed by Robert A Kowalski and Kenneth A Bowen by Kowalski, Robert A., ed Bowen, Kenneth A., ed Series: MIT press series in logic programming ; Material type: Book Publication details: Massachusetts MIT 1988 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.3 N8816. Place hold
	13.	Art of prolog : advanced programming techniques Leon Sterling and Ehud shapiro by Sterling, Leon Shapiro Ehud Series: MIT press series in logic programming ; Material type: Book Publication details: Cambridge MIT press 1986 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.133 N8615. Place hold
	14.	Constraint satisfaction in Logic programming by Pascal Van Hentenryck by Hentenryck Van, Pascal Series: Logic programming ; Material type: Book Publication details: Cambridge MIT 1989 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.6 N897. Place hold
	15.	Concurrent prolog: Collected papers V 1 ed by Ehud Shapiro by Shapiro, Ehud., ed Series: MIT press series in logic programming ; Material type: Book Publication details: Cambridge MIT 1987 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.133 N8734. Place hold
	16.	Concurrent prolog: Collected papers V 2 ed by Ehud Shapiro by Shapiro, Ehud., ed Series: MIT press series in logic programming ; Material type: Book Publication details: Cambridge MIT 1987 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.133 N8734.1. Place hold

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

Powered by Koha