Concepts of Proof in Mathematics, Philosophy, and Computer Science
Dieter Probst & Peter Schuster
Ontos Mathematical Logic (6)
The Architecture of Modern Mathematics: Essays in History and ...
José Ferreirós Domínguez & Jeremy Gray
Foundations of Statistical Natural Language Processing
Christopher Manning & Hinrich Schutze
New Trends on Grammaticalization and Language Change
Sylvie Hancil & Tine Breban & Jos Vicente Lozano
Goal-Directed Proof Theory
Dov M. Gabbay & N. Olivetti
Fuzzy Modeling and Control: Theory and Applications
Terrell Harvey & Dallas Mullins
Atlantis Computational Intelligence Systems (9)