Language at Work: Selected Papers From the Annual Meeting of ...
BAAL
Machine Learning in Natural Language Processing
Fernando Pereira
Introducing Language Typology
Edith A. Moravcsik
The Synthesis of Yoga
Sri Aurobindo
The Riemann Zeta-Function: The Theory of the Riemann Zeta-Function ...
A. Ivić
Logic Programming, Knowledge Representation, and Nonmonotonic ...
Marcello Balduccini & Tran Cao Son
Logic and Information
Neville Dean
Mathematical Problems From Applied Logic I: Logics for the XXIst ...
Dov M. Gabbay & Sergei S. Goncharov & Michael Zakharyaschev
Handbook of Logic in Artificial Intelligence and Logic Programming: ...
Dov M. Gabbay & C. J. Hogger & J. A. Robinson & Antony I A. Galton
Computer Algebra in Scientific Computing: 20th International ...
Vladimir P. Gerdt & Wolfram Koepf & Werner M. Seiler & Evgenii V. Vorozhtsov
High-Performance Computing Applications in Numerical Simulation ...
Changjun Hu & Wen Yang & Congfeng Jiang & Dong Dai
Mathematical Logic: On Numbers, Sets, Structures, and Symmetry
Roman Kossak
Introduction to Fuzzy Logic
James K. Peckol
Logic Programming and Knowledge Representation: Third International ...
Luis Moniz Pereira & Teodor C. Przymusinski
Compressed Data Structures for Strings
Rossano Venturini
Atlantis Studies in Computing (4)