Your search returned 8 results.

Sort
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: Text 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: Text Book
Publication details: Cambridge MIT 1989
Availability: Items available for reference: Electronic Systems Engineering: Not for loan (1)Call number: 001.642 N896.

3.
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: Text 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.

4.
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: Text Book
Publication details: Massachusetts MIT 1988
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 N881.

5.
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: Text Book
Publication details: Massachusetts MIT 1988
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.3 N8816.

6.
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: Text Book
Publication details: Cambridge MIT press 1986
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.133 N8615.

7.
Concurrent prolog: Collected papers V 1 ed by Ehud Shapiro by
  • Shapiro, Ehud., ed
Series: MIT press series in logic programming ;
Material type: Text Book
Publication details: Cambridge MIT 1987
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.133 N8734.

8.
Concurrent prolog: Collected papers V 2 ed by Ehud Shapiro by
  • Shapiro, Ehud., ed
Series: MIT press series in logic programming ;
Material type: Text Book
Publication details: Cambridge MIT 1987
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.133 N8734.1.

Pages

                                                                                                                                                                                                    Facebook    Twitter

                             Copyright © 2023. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012

                             Contact   Phone: +91 80 2293 2832

Powered by Koha