ผู้เขียน: Miki Hermann

Miki Hermann & Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning