Your search returned 5 results.

Results
	1.	Mathematics for the analysis of algorithms /Daniel H. Greene, Donald E. Knuth by Greene, Daniel H Knuth, Donald E Series: Progress in Computer Science and Applied Logic, V.1 Edition: 3rd. Material type: Book Publication details: Boston Birkhauser 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.10151 N90.
	2.	Graph-based proof procedures for horn clauses by Stan Raatz by Raatz, Stan Series: Progress in Computer Science and Applied Logic V.10 Material type: Book Publication details: Boston Birkhauser 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.3 N9028.
	3.	Feasible mathematics - workshop ed. by Samuel R. Buss, Philip J. Scott by Mathematical Sciences Institute Workshop, Ithaca, 1989 Buss, Samuel R., ed Scott, Philip J., ed Series: Progress in Computer Science and Applied Logic V.9 Material type: Book Publication details: Boston Birkhauser 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 510 N904.
	4.	Logic for computer scientists by Uwe Schoning by Schoning, Uwe Series: Progress in computer science and applied logic ; Vol 8 Material type: Book Publication details: Boston Birkhauser 1989 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.3 N8929 R(T). Place hold
	5.	Logic for computer scientists by Uwe Schoning by Schoning, Uwe Series: Progress in computer science and applied logic Material type: Book Publication details: Boston Birkhauser 1989 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 N896. 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