LNCS 8114 - Constraint Solving and Language Processing
Denys Duchier & Yannick Parmentier
Encyclopedia of Goddesses and Heroines, 2-Volume Set
Patricia Monaghan
Model-Based Reasoning: Science, Technology, Values
L. Magnani & Nancy Nersessian
Python Machine Learning: A Step-by-Step Guide to Scikit-Learn ...
Konnor Cluster
Mathematical Analysis: Functions of One Variable
Mariano Giaquinta & Giuseppe Modica
Abduction and Induction: Essays on Their Relation and Integration
P. A. Flach & Antonis Hadjiantonis
Abductive Reasoning and Learning
Dov M. Gabbay & Philippe Smets
Advanced Computing
Michael Bader & Hans-Joachim Bungartz & Tobias Weinzierl
Advanced Data Warehouse Design: From Conventional to Spatial ...
Elzbieta Malinowski & Esteban Zimányi
Advanced Information Processing: Proceedings of a Joint Symposium. ...
Heinz Schwärtzel & Igor A. Mizin
Advanced Mathematical Methods for Scientists and Engineers I: ...
Carl M. Bender & Steven A. Orszag
Advanced Methods in Computer Graphics: With Examples in OpenGL
Ramakrishnan Mukundan
Advances in Artificial Intelligence: Natural Language and Knowledge-Based ...
Martin C. Golumbic
Advances in Fractional Calculus: Theoretical Developments and ...
J. Sabatier & O. P. Agrawal & J. A. Tenreiro Machado
Advances in Intensional Logic
Maarten de Rijke
Advances in Natural Language Processing: 4th International Conference, ...
José Luis Vicedo & Particio Martínez-Barco & Rafael Munoz & Maximiliano Saiz Noeda
Advances in Natural Language Processing: 6th International Conference, ...
Bengt Nordstrom & Bengt Nordström & Aarne Ranta
Advances in Natural Language Processing: 7th International Conference ...
Hrafn Loftsson & Eirikur Rögnvaldsson & Sigrun Helgadottir
Advances in Temporal Logic
Howard Barringer & Michael Fisher & Dov M. Gabbay & Graham Gough
The Age of Alternative Logics: Assessing Philosophy of Logic ...
Gerhard Heinzmann & Manuel Rebuschi & Henk Visser & Johan Van Benthem
Agent-Based Modeling: The Santa Fe Institute Artificial Stock ...
Norman Ehrentreich
Algebraic Logic
Semen G. Gindikin
Algorithms and Data Structures: The Basic Toolbox
Kurt Mehlhorn & Peter Sanders