Logic for Programming, Artificial Intelligence, and ...
Preview
20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov. Program. Committee. Cyrille Valentin Artho Franz Baader Christel Baier Peter ...