Computational Logic and Human Thinking: How to be Artificially Intelligent
- Length: 332 pages
- Publication Date: 2011-08-22
Boolean Functions: Theory, Algorithms, and Applications
- Length: 710 pages
- Publication Date: 2011-05-16
Languages and Compilers for Parallel Computing
- Length: 567 pages
- Publication Date: 2004-04-14
Specification and Verification of Multi-agent Systems
- Length: 422 pages
- Publication Date: 2010-08-06
Practical Applications of Soft Computing in Engineering
by Sung-Bae Cho
- Length: 440 pages
- Publication Date: 2001-01
Applications of Fuzzy Logic in Bioinformatics
- Length: 248 pages
- Publication Date: 2008-08-11
Computability Theory: An Introduction to Recursion Theory
- Length: 192 pages
- Publication Date: 2010-12-16
