Your search returned 6 results.

Sort
Results
1.
Formal differentiation a program synthesis technique by Robert A. Paige by Series: Computer science ; no. 7
Publication details: Ann Arbor, Mich. : UMI Research Press, 1981
Dissertation note: Revision of thesis (Ph.D.)--New York University, 1979
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (2)Call number: QA76.6.P34[00008033393], ...

2.
A framework for distributed problem solving / by Reid G. Smith by Series: Computer science. Artificial intelligence ; ; no.10
Publication details: Ann Arbor, Mich. : UMI Research, 1979
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.9.D5S63[00008019463].

3.
An information retrieval system based on a computer model of legal knowledge / by Carole D. Hafner. by Series: Computer science ; no. 1.
Publication details: Ann Arbor, Mich. : UMI Research Press, 1981
Dissertation note: Revision of thesis (Ph.D.)--University of Michigan, 1978.
Availability: Items available for loan: PERPUSTAKAAN UNDANG-UNDANG (2)Call number: C71.32KF.H33 2, ...

4.
An inquiry driven vision system based on visual and conceptual hierarchies / by David A. Rosenthal by Series: Computer science ; no. 7
Publication details: Ann Arbor, Mich. : UMI Research Press, 1981
Dissertation note: Revision of thesis (Ph.D.)--University of Pennsylvania, 1978
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (2)Call number: TA1632.R67, ...

5.
Knowledge based theorem proving and learning by Donald N. Cohen by Series: Computer science ; no. 4
Publication details: Ann Arbor, Mich. UMI Research Press 1981
Dissertation note: Revision of thesis (Ph.D.)--Carnegie-Mellon University, 1980
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.9.A96C63[00008034294].

6.
Subjective understanding computer models of belief systems by Jaime G. Carbonell by Series: Computer science. Artificial intelligence ; no.5
Publication details: Ann Arbor, Mich. UMI Research Press 1981
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: H61.3.C37 1981.

Pages

Contact Us

Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia
43600 Bangi, Selangor Darul Ehsan,Malaysia
+603-89213446 – Consultation Services
019-2045652 – Telegram/Whatsapp
Email: helpdeskptsl@ukm.edu.my

Copyright ©The National University of Malaysia Library