(1) Basic Proof Theory A. S. Troelstra; H. Schwichtenberg ISBN: 9780521779111 Cambridge University Press View at publisher
(2) AAAI-00: Proceedings of the Seventeenth National Conference on Artificial Intelligence and The Twelfth Annual Conference on Innovative Applications of Artifici by American Association for Artificial Intelligence (AAAI) ISBN: 9780262511124 MIT Press View at publisher
(3) Affective Computing by Rosalind W. Picard ISBN: 9780262661157 MIT Press View at publisher
(4) Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence Edited by Gerhard Weiss ISBN: 9780262731317 MIT Press View at publisher