Lecture Notes in Artificial Intelligence 4790

Lecture Notes in Artificial Intelligence 4790 Edited by J.G. Carbonell and J. Siekmann Subseries of Lecture Notes in Computer Science Nachum Dershowitz Andrei Voronkov (Eds.) Logic for Programming, Artificial Intelligence, and Reasoning 14th International

www.cs.tau.ac.il