Your search returned 7 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Proceedings /edited by Ehud Shapiro by Series: Lecture notes in computer science ; 225
Material type: Text Text
Publication details: Berlin Springer Verlag 1986
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N8628;1.

2.
Algorithmic program debugging by Ehud Y. Shapiro by Series: ACM Distinguished Dissertations 1982 ;
Material type: Text Text
Publication details: Cambridge, Mass. MIT Press 1983
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 SHA.

3.
Algorithmic program debugging by Ehud Y. Shapiro by Series: ACM distinguished dissetations 1982 ;
Material type: Text Text
Publication details: cambridge MIT press 1982
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 SHA.

4.
Art of prolog Leon Sterling and Ehud shapiro by
Material type: Text Text
Publication details: Cambridge MIT press 1986
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.6424 N8629.

Place hold
5.
Art of prolog : advanced programming techniques Leon Sterling and Ehud shapiro by Series: MIT press series in logic programming ;
Material type: Text Text
Publication details: Cambridge MIT press 1986
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.133 N8615.

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

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

Place hold
Pages

                                                                                                                                                                                                    Facebook    Twitter

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