Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Automation of reasoning -1 classical papers on computational logic 1957-1966 ed. by Jorg Siekmann and Graham Wrightson by
  • Siekmann, Jorg., ed
  • Wrightson, Graham., ed
Material type: Text Book
Publication details: Berlin Springer-Verlag 1983
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.535 N832.1.

Place hold
2.
Automation of reasoning; v.2 ed.by Jorg Siekmann and Graham Wrightson. by
  • Siekmanm, Jorg., ed
  • Wrightson, Graham., ed
Material type: Text Book
Publication details: New York Springer-Verlag 1983
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.535 N832.2.

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