Recomienda este artículo a tus amigos:
Revision, Acceptability and Context: Theoretical and Algorithmic Aspects - Cognitive Technologies Dov M. Gabbay 2010 edition
Revision, Acceptability and Context: Theoretical and Algorithmic Aspects - Cognitive Technologies
Dov M. Gabbay
Revision for a foreign logic is done via its translation into a well-known logic, usually classic logic. Secondly, the technique of meta-level/object-level movement, where we bring some operation defined at the meta-level of a logic into its object level.
386 pages, 45 black & white illustrations, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 13 de octubre de 2012 |
| ISBN13 | 9783642264306 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 386 |
| Dimensiones | 155 × 235 × 20 mm · 598 g |
| Lengua | Alemán |
Mas por Dov M. Gabbay
Mostrar todoVer todo de Dov M. Gabbay ( Ej. Hardcover Book y Paperback Book )