Your search returned 31 results.

Sort
Results
1.
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.

2.
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.

3.
Computer graphics programming : GKS the graphics standard by G. Enderle, K. Kansy and G. Pfaff. by
  • Enderle, G
  • Kansy, K
  • Pfaff, G
Series: Symbolic computation : computer graphics-systems and applications ;
Edition: 2nd.
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: 006.6 N873.

4.
CGM and CGI Metafile and interface standards for computer graphics by David B. Arnold, Peter R. Bono. by
  • Arnold, David B
  • Bono, Peter R
Series: Symbolic computation computer graphics-systems and applications
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: 006.60218 N88.

5.
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.

6.
Computation of language : an essay on syntax, semantics and pragmatics in natural man-machine communication. by Roland Hausser by
  • Hausser, Roland
Series: Symbolic computation ;
Material type: Text Book
Publication details: Berlin Springer-Verlag 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.35 N89.

7.
Knowledge frontier : essays in the representation of knowledge by Nick Cercone and Gordon McCalla by
  • Cercone, Nick
  • McCalla, Gordon
Series: Springer series symbolic computation ;
Material type: Text Book
Publication details: New York Springer-Verlag 1987
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.33 N871.

8.
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).

9.
Reduce software for algebraic computation. by Gerhard Rayna. by
  • Rayna, Gerhard
Series: Springer series in symbolic computation
Material type: Text Book
Publication details: New York Springer-Verlag 1987
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 512.02855369 N87.

10.
Introduction to default logic. by Philippe Besnard. by
  • Besnard, Philippe
Series: Symbolic computation- Artificial intelligence ;
Material type: Text Book
Publication details: Berlin Springer-Verlag 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.3 N8935.

11.
Search in artificial intelligence ed. by Laveen Kanal and Vipin Kumar. by
  • Kanal, Laveen., ed
  • Kumar, Vipin., ed
Series: Symbolic computation-Artificial intelligence ;
Material type: Text Book
Publication details: New York Springer-Verlag 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.3 N8818.

12.
Engineering databases : connecting islands of automotive through databases ed. by Jose L. Encarnaco andPeter C. Lockemann. by
  • Encarnco, Jose L., ed
  • Lockemann, Peter C., ed
Series: Symbolic computation: Computer graphics-Systems adaptations ;
Material type: Text Book
Publication details: Berlin Springer-Verlag 1990
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 620.0285574 N90.

13.
Computer graphics programming : GKS the graphics standard by G Enderle, K Kansy and G Pfaff by
  • Enderle, G
  • Kansy. K
  • Pfaff, G
Series: Symbolic computation ;
Edition: 2nd
Material type: Text Book
Publication details: New Delhi Narosa 1990
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.66 N90.

14.
Parallel algorithms for machine intelligence and vision ed. by Vipin Kumar, P S Gopalakrishnan and Laveen N Kanal by
  • Kumar, Vipin., ed
  • Gopalakrishnana, P. S., ed
  • Kanal, Laveen N., ed
Series: Symbolic computation - Artificial intelligence ;
Material type: Text Book
Publication details: New York Springer-Verlag 1990
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.35 N9032.

15.
Abductive inference models for diagnostic problem solving by Yun Peng and James A. Reggia by
  • Peng, Yun
  • Reggia, James A
Series: Springer series symbolic computation-Artificial intelligence ;
Material type: Text Book
Publication details: New York Springer-Verlag 1990
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.3 N9034.

16.
Foundations of logic programming. by J.W.Lloyd by
  • Llyod, J.W
Series: Springer series in symbolic computation- Artificial intelligence
Edition: 2nd.
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: 006.3 N871.

17.
Parallel algorithms for machine intelligence and vision ed. by Vipin Kumar, P. S. Gopalkrishnan, Laveen N. Kanal by
  • Kumar, Vipin., ed
  • Gopalkrishnan, P. S., ed
  • Kanal, Laveen N., ed
Series: Symbolic computation artificial intelligence
Material type: Text Book
Publication details: New York Springer-Verlag 1990
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.35 N903;1.

18.
Prolog by example : how to learn, teach and use it by Helder coelho and Jose C. Cotta. by
  • Coelho, Helder
  • Cotta, Jose C
Series: Symbolic computation- Artificial intelligence ;
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: 005.133 N8824.

19.
Abductive inference models for diagnostic problem-solving by Yun Pebg, James A. Reggia. by
  • Peng, Yun
  • Reggia, James A
Series: Springer series symbolic computation- Artificial intelligece
Material type: Text Book
Publication details: New York Springer-Verlag 1990
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.3 N909;1.

20.
Computer aided design: fundamentals & system architectures 2nd. revised & extended edition /Jose L. Encarnacao, (...) by
  • Encarnacao, Jose L
  • Linder, Rolf
  • Schlechtendahl, Ernest G
Series: Springer Series in Symbolic Computation
Edition: 2nd
Material type: Text Book
Publication details: Berlin S-V 1990
Availability: Items available for reference: Mechanical Engineering: Not for loan (1)Call number: 620.0042 N901.

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