Your search returned 4 results.

Results
	1.	No cover image available Automatic construction of algorithms and data structures using knowledge base of programming rules. by David R. Barstow. by Barstow, David R Series: Artificial Intelligence Laboratory - AIM-308 Material type: Book Publication details: Stanford AIL 1977 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.6425 N779. Place hold
	2.	No cover image available Hypothetical monologue illustrating the knowledge underlying program analysis by Howard E. Shrobe, Richard C. Waters, G. J. Sussman by Shrobe, Howard E Waters, Richard C Sussman, G. J Series: Artificial intelligence laboratory Material type: Book Publication details: Cambridge, Mass AIL 1979 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.535 N794.
	3.	No cover image available Evolution of programs a system for automatic program modification /by Nachum Dershowitz and Zohar Manna. by Dershowitz, Nachum. Manna, Zohar Series: Stanford Artificial Intelligence Laboratory -CS-76-586, AIM-294 Material type: Book Publication details: Stanford Stanford Univ. 1976 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6425 N767.
	4.	No cover image available Automatic analysis of the logical structure of programs by Richard C. Waters by Waters, Richard C Series: Artificial intelligence laboratory-TR-492 Material type: Book Publication details: Cambridge Artificial Intelligence Laboratory 1978 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.3 N78.

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

Powered by Koha