Your search returned 6 results.

Results
	1.	No cover image available Symbolic logic and mechanical theorem proving by Chin-Liang Chang and Richard Char-Tung Lee by Chang, Chin-Liang Lee, Richard Char-Tung Series: Computer Science and Applied Mathematics, a Series of Monographs and Textbooks Material type: Book Publication details: New York Academic Press 1973 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N732;1. Place hold
	2.	No cover image available Symbolic logic and mechanical theorem proving by Chin-Liang Chang and Richard Char-Tung Lee by Chang, Chin-Liang Lee, Richard Char-Tung Series: Computer Science and Applied Mathematics, a Series of Monographs and Textbooks Material type: Book Publication details: New York Academic Press 1973 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N732;2. Place hold
	3.	Graph theory an algorithmic approach by Nicos Christofides by Christofides, Nicos Series: Computer Science and Applied Mathematics ; a Series of Monographs and Textbooks Material type: Book Publication details: New York Academic Press 1975 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.5 N75. Place hold
	4.	No cover image available Numerical analysis a second course by James M. Ortega by Ortega, James M Series: Computer Science and Applied Mathematics, a Series of Monographs and Textbooks Material type: Book Publication details: New York Academic Press 1972 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.7 N72. Place hold
	5.	No cover image available Recursive function theory and logic by Ann Yasuhara by Yasuhara, Ann Series: Computer Science and Applied Mathematics, a Series of Monographs and Textbooks Material type: Book Publication details: New York Academic Press 1971 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.7 N711.
	6.	Principles of mathematical modeling by Clive L. Dym, Elizabeth S. Ivey by Dym, Clive L Ivey, Elizabeth S Series: Computer Science and Applied Mathematics, a Series of Monographs and Textbooks Material type: Book Publication details: New York Academic Press 1980 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.8 N80. 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