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 |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn898070506 | ||
| 003 | OCoLC | ||
| 005 | 20231120111925.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 141212s2014 enk o 000 0 eng d | ||
| 040 | |a N$T |b eng |e rda |e pn |c N$T |d UIU |d YDXCP |d OPELS |d IDEBK |d EBLCP |d CDX |d OCLCF |d DEBSZ |d OCLCQ |d U3W |d D6H |d LQU |d OCLCQ |d S2H |d OCLCO |d OCLCQ |d AAA |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 898327134 |a 899566662 |a 1105195684 |a 1105574245 | ||
| 020 | |a 9780080930671 |q (electronic bk.) | ||
| 020 | |a 0080930670 |q (electronic bk.) | ||
| 020 | |a 1322477175 |q (ebk) | ||
| 020 | |a 9781322477176 |q (ebk) | ||
| 020 | |z 0444516247 | ||
| 020 | |z 9780444516244 | ||
| 035 | |a (OCoLC)898070506 |z (OCoLC)898327134 |z (OCoLC)899566662 |z (OCoLC)1105195684 |z (OCoLC)1105574245 | ||
| 050 | 4 | |a QA76.9.L63 | |
| 072 | 7 | |a COM |x 000000 |2 bisacsh | |
| 082 | 0 | 4 | |a 006.3 |2 23 |
| 245 | 0 | 0 | |a Computational logic / |c volume editor, Dov M. Gabbay, J�org H. Siekmann, John Woods. |
| 264 | 1 | |a Kidlington : |b Elsevier, |c 2014. | |
| 300 | |a 1 online resource | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 0 | |a Handbook of the history of logic ; |v 9 | |
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a 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. | |
| 650 | 0 | |a Computer logic. | |
| 650 | 6 | |a Logique informatique. |0 (CaQQLa)201-0301163 | |
| 650 | 7 | |a COMPUTERS |x General. |2 bisacsh | |
| 650 | 7 | |a Computer logic |2 fast |0 (OCoLC)fst00872265 | |
| 776 | 0 | 8 | |i Print version: |t Computational logic. Gabbay, Dov M. Gabbay, J�org H. Siekmann, John Woods |z 0444516247 |w (OCoLC)897091915 |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780444516244 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/handbooks/18745857/9 |z Texto completo |