Ricardo Caferra

Logic for Computer Science and Artificial Intelligence