Your search returned 3 results.

Results
	1.	Computer assisted learning proceedings / H. Maurer (Ed.) by Maurer, Hermann A, 1941- International Conference, ICCAL'89 (2nd : May 9-11, 1989 : Dallas) Series: Lecture note in computer science ; 360 Publication details: Berlin : Springer-Verlag, 1989 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: LB1028.5.C547. Place hold
	2.	LOGLAN'88-report on the programming language / Antoni Kreczmar, Adrzej Sa lwicki, Marek Warpechowski with the collaboration of Boleslaw...et al. by Kreczmar, Antoni Salwicki, Andrzej Warpechowski, Marek Series: Lecture note in computer science ; 414. Publication details: Berlin : Springer-Verlag, 1990 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.73.L625K74. Place hold
	3.	Using sophisticated models in resolution theorem proving / David M. Sandford by Sandford, David M Series: Lecture note in computer science ; 90 Publication details: Berlin : Springer-Verlag, 1980 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.9.A96S36[00008034296]. Place hold

Refine your search