Autor: Christian G. Fermuller

Christian G. Fermuller & Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning