Cargando…
Computational logic /
| Clasificación: | Libro Electrónico |
|---|---|
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Kidlington :
Elsevier,
2014.
|
| Colección: | Handbook of the history of logic ;
9 |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo |
Tabla de Contenidos:
- pt. I Introduction
- Computational Logic / Jorg Siekmann
- Logic and the Development of the Computer / Martin Davis
- pt. II General
- What is a Logical System? An Evolutionary View: 1964
- 2014 / Dov Gabbay
- pt. III Automated Reasoning
- Interactive Theorem Proving / Freek Wiedijk
- Automation of Higher Order Logic / Dale Miller
- Equational Logics and Rewriting / Helene Kirchner
- Possibilistic Logic
- An Overview / Henri Prade
- Computerizing Mathematical Text / Henk Barendregt
- pt. IV Computer Science
- Concurrency Theory: a Historical Perspective on Coinduction and Process Calculi / Davide Sangiori
- Degrees of Unsolvability / Peter A. Fejer
- Computational Complexity / Steven Homer
- Logic Programming / Bob Kowalski
- Logic and Databases: A History of Deductive databases / Carlo Zaniolo
- Logics for Intelligent Agents and Multi Agent Systems / John-Jules Ch. Meyer
- Description Logics / Pascal Hitzler
- Logics for the Semantic Web / Axel Polleres.