Cargando…
Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz /
This Festschrift published in honor of Vladimir Lifschitz on the occasion of his 65th birthday presents 39 articles by colleagues from all over the world with whom Vladimir Lifschitz had cooperation in various respects. The 39 contributions reflect the breadth and the depth of the work of Vladimir L...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2012.
|
| Edición: | 1st ed. 2012. |
| Colección: | Theoretical Computer Science and General Issues,
7265 |
| Temas: | |
| Acceso en línea: | Texto Completo |
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-3-642-30743-0 | ||
| 003 | DE-He213 | ||
| 005 | 20230329141055.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 120602s2012 gw | s |||| 0|eng d | ||
| 020 | |a 9783642307430 |9 978-3-642-30743-0 | ||
| 024 | 7 | |a 10.1007/978-3-642-30743-0 |2 doi | |
| 050 | 4 | |a QA267-268.5 | |
| 072 | 7 | |a UYA |2 bicssc | |
| 072 | 7 | |a MAT018000 |2 bisacsh | |
| 072 | 7 | |a UYA |2 thema | |
| 082 | 0 | 4 | |a 005.131 |2 23 |
| 245 | 1 | 0 | |a Correct Reasoning |h [electronic resource] : |b Essays on Logic-Based AI in Honour of Vladimir Lifschitz / |c edited by Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce. |
| 250 | |a 1st ed. 2012. | ||
| 264 | 1 | |a Berlin, Heidelberg : |b Springer Berlin Heidelberg : |b Imprint: Springer, |c 2012. | |
| 300 | |a XI, 594 p. 41 illus. |b online resource. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Theoretical Computer Science and General Issues, |x 2512-2029 ; |v 7265 | |
| 520 | |a This Festschrift published in honor of Vladimir Lifschitz on the occasion of his 65th birthday presents 39 articles by colleagues from all over the world with whom Vladimir Lifschitz had cooperation in various respects. The 39 contributions reflect the breadth and the depth of the work of Vladimir Lifschitz in logic programming, circumscription, default logic, action theory, causal reasoning and answer set programming. | ||
| 650 | 0 | |a Machine theory. | |
| 650 | 0 | |a Artificial intelligence. | |
| 650 | 0 | |a Computer science. | |
| 650 | 0 | |a Software engineering. | |
| 650 | 0 | |a Computer programming. | |
| 650 | 0 | |a Compilers (Computer programs). | |
| 650 | 1 | 4 | |a Formal Languages and Automata Theory. |
| 650 | 2 | 4 | |a Artificial Intelligence. |
| 650 | 2 | 4 | |a Computer Science Logic and Foundations of Programming. |
| 650 | 2 | 4 | |a Software Engineering. |
| 650 | 2 | 4 | |a Programming Techniques. |
| 650 | 2 | 4 | |a Compilers and Interpreters. |
| 700 | 1 | |a Erdem, Esra. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Lee, Joohyung. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Lierler, Yuliya. |e editor. |0 (orcid)0000-0002-6146-623X |1 https://orcid.org/0000-0002-6146-623X |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Pearce, David. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9783642307447 |
| 776 | 0 | 8 | |i Printed edition: |z 9783642307423 |
| 830 | 0 | |a Theoretical Computer Science and General Issues, |x 2512-2029 ; |v 7265 | |
| 856 | 4 | 0 | |u https://doi.uam.elogim.com/10.1007/978-3-642-30743-0 |z Texto Completo |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-SXCS | ||
| 912 | |a ZDB-2-LNC | ||
| 950 | |a Computer Science (SpringerNature-11645) | ||
| 950 | |a Computer Science (R0) (SpringerNature-43710) | ||