Your search returned 43 results.

Sort
Results
21.
Probe : a formal specification-based testing system / Ahmad Abedl Rahman Al-amayreh by
Publication details: Bangi : Fakulti Teknologi dan Sains Maklumat, Universiti Kebangsaan Malaysia, 1997
Dissertation note: Thesis ( M.Sc.) - Universiti Kebangsaan Malaysia, 1997
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.76.T48A35 1997 tesis.

22.
Probe [microform] : a formal specification-based testing system / Ahmad Abedl Rahman al-Amayreh by
Publication details: Bangi : Perpustakaan Tun Seri Lanang, 1997
Dissertation note: Thesis ( M.Sc.) - Universiti Kebangsaan Malaysia, 1997
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: mikrofilem tesis QA76.76.T48A35 1997.

23.
Productive prolog programming / Peter Schnupp, Lawrence W. Bernhard. by Series: Prentice Hall International series in computer science
Publication details: Hemel Hempstead: Prentice-Hall International, 1986
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.73.P76S3613.

24.
Programming in Prolog / W.F. Clocksin, C.S. Mellish. by
Edition: 2nd ed.
Publication details: Berlin : Springer-Verlag, 1984
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.73.P356 C57 1984.

25.
Programming in turbo prolog : with an introduction to knowledge-based systems / Lee Teft. by
Publication details: Englewood Cliffs, N.J. : Prentice-Hall, 1989
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.73.P76 T43.

26.
Prolog: A relational language and its applications/ John Malpas. by
Publication details: Englewood Cliffs, N.J.: Prentice-Hall, 1987
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.73.P76M35.

27.
Prolog/ Francis Giannesini ... et al. ; foreword by Alain Colmerauer by
Publication details: Wokingham, Eng.: Addison-Wesley, 1986
Dissertation note: Bibliography: p.256-260
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.73.P76P76.

28.
Prolog: programming techniques and applications, Susan Garavaglia. by
Publication details: New York: Harper & Row, 1987
Availability: Not available: PERPUSTAKAAN LINGKUNGAN KEDUA: Discard (1).

29.
PROLOG, children and students/ Edited by John Nichol, Jonathan Briggs and Jackie Dean. by Series: Fifth generation computing in education ; .I
Publication details: London: Kogan Page, 1988
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: LB1028.5.P77.

30.
Prolog for natural language processing/ Annie Gal ... et al. by
Publication details: Chichester: John Wiley & Sons, 1991
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.73.P76P75613.

31.
Prolog multiprocessors/ Michael J. Wise. by
Publication details: Englewood Cliffs, N.J.: Prentice-Hall International, 1986
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.73.P76W57.

32.
A prolog primer/ Jean B. Rogers by
Publication details: Reading, Mass.: Addison-Wesley, 1986
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.73.P76R64.

33.
Prolog programming for artificial intelligence/ Ivan Bratko by Series: International computer science series
Publication details: Wokingham, Eng.: Addison-Wesley, 1986
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: Q336.B74.

34.
Prolog programming for artificial intelligence / Ivan Bratko. by
Edition: 3rd ed.
Publication details: Harlow : Addison-Wesley, 2001
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (2)Call number: Q336.B74 2001, ...

35.
Prolog programming for artificial intelligence / Ivan Bratko by Series: International computer science series
Edition: 2nd ed.
Publication details: Harlow, England : Addison-Wesley Pub. Co., 1990
Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: Q336.B74 1990 3.

36.
Prolog versus you: an introduction to logic programming/ Anna-Lena Johansson, Agneta Eriksson-Granskog, Anneli Edman. by
Publication details: Berlin: Springer-Verlag, 1989
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.73.P76J6413.

37.
Prolog wizard: a wiley programmer's reference, by Dennis L. Foster. by
Publication details: New York: John Wiley & Sons, 1987
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.3.P76F67.

38.
Satu kaedah bagi mentahkikkan spesifikasi formal Z dengan menggunakan Prolog / Loh Kah Heng @ Low Kah Heng by
Publication details: Bangi : Fakulti Teknologi dan Sains Maklumat, Universiti Kebangsaan Malaysia, 1997
Dissertation note: Tesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 1997
Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: QA76.73.P76L63 1997 3 tesis.

39.
Satu kaedah bagi mentahkikkan spesifikasi formal Z dengan menggunakan Prologr / Loh Kah Heng @ Low Kah Heng by Publisher: Bangi : Perpustakaan Tun Seri Lanang, 2004
Dissertation note: Tesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 1997
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: mikrofilem tesis QA76.73.P76L63 2004.

40.
Techniques of prolog programming : with implementation of logical negation and quantified goals / T. Van Le by
Publication details: New York : John Wiley & Sons, 1993
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.73.P76L42.

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