Your search returned 150 results.

Sort
Results
1.
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: Text Book
Publication details: Stanford AIL 1977
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.6425 N779.

2.
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: Text 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.
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: Text 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.
Automatic analysis of the logical structure of programs by Richard C. Waters by
  • Waters, Richard C
Series: Artificial intelligence laboratory-TR-492
Material type: Text 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.

5.
Machines that walk the adaptive suspension vehicle by Shin-Min Song, Kenneth J. Waldron. by
  • Song, Shin-Min
  • Waldron, Kenneth J
Series: MIT press series in artificial intelligence
Material type: Text Book
Publication details: Massachusetts MIT 1989
Availability: Items available for reference: Electronic Systems Engineering: Not for loan (1)Call number: 639.892 N89.

6.
Computational models of learning/ edited by Leonard Bolc. by
  • Bolc, Leonard
Series: Springer series symbolic computation artificial intelligence
Material type: Text Book
Publication details: Berlin Springer-Verlag 1987
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.535 N8729.

7.
Robot ping-pong player experiment in real-time intelligent control by Russell L. Anderson by
  • Anderson, Russell L
Series: MIT press series in artificial intelligence
Material type: Text Book
Publication details: Cambridge MIT 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 629.892 N888.

8.
AI and expertise neuristic search, inference engines, automatic proving. by Henri Farreny by
  • Farreny, Henri
Series: Ellis Horwood series in artificial intelligence
Material type: Text Book
Publication details: Chichester Ellis Horwood Ltd. 1989
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.535 N8833.

9.
Ecology of computation. by B. A. Huberman. by
  • Huberman, B. A
Series: Studies in computer science and artificial intelligence
Material type: Text Book
Publication details: Amsterdam North-Holland 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004 N88.

10.
Logic grammars by Harvey Abramson, Veronica Dahl by
  • Abramson, Harvey
  • Dahl, Veronica
Series: Symbolic computation. Artificial intelligence
Material type: Text Book
Publication details: New York Springer Verlag 1989
Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 001.535 N895.

11.
Blackboard systems ed. by Robert Engelmore and Tony Morgan by
  • Engelmore, Robert., ed
  • Morgan, Tony., ed
Series: Insight series in artificial intelligence
Material type: Text Book
Publication details: Workingham Addison-Wesley pub. Co. 1988
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.64 N8814;1.

12.
Expert systems in engineering ed. by D. T. Pham by
  • Pham, D. T., ed
Series: Artificial intelligence in industry series
Material type: Text Book
Publication details: Berlin Springer-Verlag 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.535 N88.

13.
Actors a model of concurrent computation in distributed systems. by Gul A. Agha. by
  • Agha, Gul A
Series: MIT Press series in artificial intelligence
Material type: Text Book
Publication details: Cambridge MIT 1986
Availability: Items available for reference: Electronic Systems Engineering: Not for loan (1)Call number: 004.36022 N86.

14.
Machine and human learning advances in european research ed. by Yues Kodratoff and Alan Hutchinson. by
  • Kodratoff, Yues., ed
  • Hutchinson, Alan., ed
Series: Michael horwood series on artificial intelligence
Material type: Text Book
Publication details: London Kogan Page 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.535 N8911.

15.
Artificial intelligence and expert systems ed. by Stuart E. Savory and Tr. by M. W. Rogers by
  • Savory, Stuart E
  • Rogers, M. W., tr
Series: Ellis Horwood Series in Artificial Intelligence
Material type: Text Book
Publication details: Chichester Ellis Horwood 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.535 N8834.

16.
Logic grammars by Harvey Abramson and Veronica Dahl. by
  • Abramson, Harvey
  • Dahl, Veronica
Series: Symbolic computation-artificial intelligence ;
Material type: Text Book
Publication details: New York Springer-Verlag 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.3 N8936.

17.
Computers and languages theory and practice by Anton Nijholt by
  • Nijholt, Anton,
Series: Studies in computer science and artificial intelligence 4 ;
Material type: Text Book
Publication details: Amsterdam North-Holland 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.35 NIJ.

18.
Foundations of equational logic programming. by Steffen Holldobler by
  • Holldobler, Steffen
Series: Lecture notes in artificial intelligence ; 353
Material type: Text Book
Publication details: Berlin S-V 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.3 N8932.

19.
Model-based control of a robot manipulator by Chae H. An, [et al] by
  • An, Chae H., [et al.]
Series: MIT press series in artificial intelligence
Material type: Text Book
Publication details: Cambridge MIT 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 629.892 N8815.

20.
Natural language parsing systems edited by Leonard Bolc. by
  • Bolc, Leonard., ed
Series: Symbolic computation: artificial intelligence
Material type: Text Book
Publication details: Berlin Heidelberg Springer-Verlag 1987
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 415 NAT (c.3).

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