PROLOG : programming for artificial intelligence / by Bratko, Ivan, 1946-

Subjects:

Logic program synthesis and transformation /

Subjects: “…Programación-Técnicas.…”

Multi-agent rationality /

Subjects:

Principles and practice of constraint programming - CP'95 : first international conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings /

Subjects:

Mobile object systems : towards the programmable internet /

Subjects:

Foundations of inductive logic programming / by Nienhuys-Chen, Shan-Hwei, 1943-

Subjects:

Logics in artificial intelligence : European Workshop, JELIA ’96, Évora, Portugal, September 30-October 3, 1996, proceedings /

Subjects:

Concurrency and parallelism, programming, networking, and security : Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996 : proceedings /

Subjects:

Handbook of logic in artificial intelligence and logic programming /

Subjects:

Mathematical aspects of artificial intelligence : American Mathematical Society short course, January 8-9, 1996, Orlando, Florida

Subjects:

Job scheduling strategies for parallel processing : IPPS/SPDP '98 Workshop, Orlando, Florida, USA, March 30, 1998 : proceedings /

Subjects:

Software agents and soft computing : towards enhancing machine intelligence; concepts and applications /

Subjects:

Symbolic and algebraic computation /

Subjects:

Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /

Subjects: “…Lenguajes de programación.…”