Liknande böcker

Algebraic Methodology and Software Technology : 13th International Confe...
Bok av Michael. Johnson
Advances in Case-Based Reasoning : 9th European Conference, ECCBR 2008,...
Bok av Jaime G. Carbonell
Scalable Uncertainty Management : Second International Conference, SUM 2...
Bok av Jaime G. Carbonell
Logic for Programming, Artificial Intelligence, and Reasoning : 15th Int...
Bok av Jaime G. Carbonell
Computational Logic in Multi-Agent Systems : 8th International Workshop,...
Bok av Jaime G. Carbonell
Inductive Logic Programming : 18th International Conference, ILP 2008 Pr...
Bok av Jaime G. Carbonell
Theorem Proving in Higher Order Logics : 21st International Conference,...
Bok av David. Hutchison
Theorem Proving in Higher Order Logics : 20th International Conference,...
Bok av Klaus. Schneider

Logics in Artificial Intelligence

Bok av Jaime G. Carbonell