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 Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 8 de agosto de 2010 |
| ISBN13 | 9783642141584 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 386 |
| Dimensiones | 155 × 235 × 22 mm · 635 g |
| Lengua | Inglés |
Mas por Dov M. Gabbay
Mostrar todoVer todo de Dov M. Gabbay ( Ej. Hardcover Book y Paperback Book )
Los regalos de Navidad se podrán canjear hasta el 31 de enero