Welcome to Central Library, SUST

Your search returned 5 results.

Not what you expected? Check for suggestions
Sort
Results
1.
Prolog programming for artificial intelligence / Ivan Bratko. by
  • Bratko, Ivan, 1946--
Series: International computer science series
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Wokingham, England ; Reading, Mass. : Addison-Wesley Pub. Co., c1990
Availability: Items available for loan: Central Library, SUST (1)Call number: 006.302855133 BRP.

2.
Prolog programming for artificial intelligence / Ivan Bratko. by
  • Bratko, Ivan, 1946-
Edition: 3rd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi ; Addison-Wesley, c2001
Availability: Items available for loan: Central Library, SUST (1)Call number: 006.302855133 BRP.

3.
Logic Programming with Prolog [electronic resource] / by Max Bramer. by
  • Bramer, Max [author.]
  • SpringerLink (Online service)
Edition: 2nd ed. 2013.
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Availability: No items available.

4.
Practical Aspects of Declarative Languages [electronic resource] : 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings / edited by Kostis Sagonas. by
  • Sagonas, Kostis [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7752
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

5.
Programming with Higher-Order Logic / Dale Miller, Gopalan Nadathur. by
  • Miller, Dale [author.]
  • Nadathur, Gopalan [author.]
Material type: Text Text; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2012
Availability: No items available.

Pages