Thèmes principaux
Publications
Services
Auteurs
Éditions
Shop
LEXIA
Revues
Livres spécialisésLOKISemaphor
Logo
DE | FR
cover
Automation of Logic

Automation of Logic

Livre (relié)env. 115.00 CHF
disponible dès janvier 2026

Contenu

Presenting first-order and propositional methods as well as implementation issues, this book provides a state-of-the-art introduction to the automation of logic. It focuses on superposition calculus and related rewriting techniques. It also covers decision procedures for certain theories and includes real-world applications. Along with the relevant theory, each chapter contains implementation methods, historical background, suggestions for further reading, and software. Supplemental materials and resources are provided on the book's website and a solutions manual is available for qualifying instructors.

Informations bibliographiques

janvier 2026, env. 400 Pages, Chapman & Hall/CRC Studies in Informatics Series, Anglais
Taylor and Francis
978-1-4398-7535-3

Sommaire

Mots-clés

Autres titres de la collection: Chapman & Hall/CRC Studies in Informatics Series

Afficher tout
Ubiquitous Multimedia Computing
Taylor and Francis, 2017
978-1-138-11274-2
116.00 CHF
livrable dans env. 10-20 jours
Mathematical Aspects of Logic Programming Semantics
Taylor and Francis, 2017
978-1-138-11422-7
116.00 CHF
livrable dans env. 10-20 jours
Conceptual Structures in Practice
Taylor and Francis, 2017
978-1-138-11464-7
116.00 CHF
livrable dans env. 10-20 jours
Foundations of Fuzzy Logic and Semantic Web Languages
Taylor and Francis, 2013
978-1-4398-5347-4
166.00 CHF
livrable dans env. 10-20 jours
Agent-Based Modeling and Simulation with Swarm
Taylor and Francis, 2013
978-1-4665-6234-9
180.00 CHF
livrable dans env. 10-20 jours
Mathematical Aspects of Logic Programming Semantics
Taylor and Francis, 2010
978-1-4398-2961-5
266.00 CHF
livrable dans env. 10-20 jours
Ubiquitous Multimedia Computing
Taylor and Francis, 2009
978-1-4200-9338-4
300.00 CHF
livrable dans env. 10-20 jours
Conceptual Structures in Practice
Taylor and Francis, 2009
978-1-4200-6062-1
300.00 CHF
livrable dans env. 10-20 jours
Stochastic Relations
Foundations for Markov Transition Systems
Taylor and Francis, 2007
978-1-58488-941-0
240.00 CHF
livrable dans env. 10-20 jours

Autres titres sur ce thème

Psychology of Game Design
Taylor and Francis, 2028
978-1-138-62794-9
env. 189.00 CHF
disponible dès janvier 2028
Internet Governance
A Human Rights Perspective
Taylor and Francis, 2026
978-1-138-79864-9
env. 149.00 CHF
disponible dès janvier 2026
Constrained Markov Sequence Generation
Applications to Music and Text
Springer Nature EN, 2099
978-3-319-43496-4
env. 78.00 CHF
disponible dès décembre 2099
Data Science and Machine Learning for Non-Programmers
Using SAS Enterprise Miner
Taylor and Francis, 2026
978-0-367-75196-8
env. 75.00 CHF
disponible dès janvier 2026
Green IT: Thin Clients, Mobile & Cloud Computing
Moderne und ökologische IT-Arbeitsplätze mit Thin & Zero Clients
Springer Fachmedien Wiesbaden GmbH, 2025
978-3-8348-1688-7
env. 52.50 CHF
disponible dès mars 2025
Adaptive Learning Opportunities
Toward a More Personal Education
Taylor and Francis, 2026
978-0-415-82534-4
env. 46.90 CHF
disponible dès janvier 2026
Methods of Clinical Epidemiology
Springer Nature EN, 3000
978-3-319-65333-4
env. 146.00 CHF
disponible dès juin 3000
Geometry of the Semigroup Z_(≥0)^n and its Applications to Combinatorics, ...
Springer Nature EN, 2027
978-3-642-30987-8
env. 55.50 CHF
disponible dès janvier 2027