Your search returned 4 results.

Results
	1.	Reduce software for algebraic computation. by Gerhard Rayna. by Rayna, Gerhard Series: Springer series in symbolic computation Material type: 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.
	2.	Foundations of logic programming. by J.W.Lloyd by Llyod, J.W Series: Springer series in symbolic computation- Artificial intelligence Edition: 2nd. Material type: 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.
	3.	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: Book Publication details: Berlin S-V 1990 Availability: Items available for reference: Mechanical Engineering: Not for loan (1)Call number: 620.0042 N901.
	4.	Foundations of logic programming by J W Lloyd by Lloyd, J W Series: Springer Series in Symbolic Computation - Artificial Intelligence ; Edition: 2nd. Material type: Book Publication details: New York Springer-Verlag 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.115 N871.

Refine your search