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

Algorithmic Decision Theory, 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 Sriram Sankaranarayanan

Parallel Computing Technologies, Fachbücher

Knowledge-Based and Intelligent Information and Engineering Systems, Fachbücher

Logic Programming, Fachbücher

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

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

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

Advances in Practical Applications of Agents, Multi-Agent Systems, and Sustainability: The PAAMS, Fachbücher von Fernand...

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

Graph-Based Representation and Reasoning, Fachbücher

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

Human-Computer Interaction. Novel Interaction Methods and Techniques, Fachbücher von Julie A., Jacko

Internet and Distributed Computing Systems, Fachbücher