Logic Programming and Nonmonotonic Reasoning, Fachbücher von Miroslaw Truszczynski, Giovambattista Ianni, Francesco Cali...

Algorithmic Decision Theory, Fachbücher

Software Engineering and Formal Methods, Fachbücher

Theory and Applications of Satisfiability Testing -- SAT 2015, Fachbücher von Sean Weaver, Marijn Heule

Formal Modeling and Analysis of Timed Systems, Fachbücher von Enrico Vicario, Sriram Sankaranarayanan

Case-Based Reasoning Research and Development, Fachbücher von Mirjam Minor, Eyke Hüllermeier

Parallel Computing Technologies, Fachbücher

Automated Reasoning with Analytic Tableaux and Related Methods, Fachbücher

Knowledge-Based and Intelligent Information and Engineering Systems, Fachbücher von Sebastián A. Ríos, Juan D. Velásquez

Information Processing in Cells and Tissues, Fachbücher von Stephen Smith, Michael A. Lones, Gary Fogel, Andy Tyrrell

Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Fachbücher von Sebastien Destercke, Thierry Denoeux

Research and Advanced Technology for Digital Libraries, Fachbücher von Christos Papatheodorou, José Luis Borbinha, Saran...

Unconventional Computation and Natural Computation, Fachbücher von Cristian S. Calude, Michael J. Dinneen

Brain Informatics and Health, Fachbücher von Sean Hill, Hanchuan Peng, Yike Guo, Faisal Aldo, Karl Friston

Foundations of Augmented Cognition, Fachbücher von Cali M. Fidopiastis, Dylan D. Schmorrow

Collaboration and Technology, Fachbücher