Pastāsti draugiem par šo preci:
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
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2010. gada 8. augusts |
| ISBN13 | 9783642141584 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 386 |
| Izmēri | 155 × 235 × 22 mm · 758 g |
| Valoda | Vācu |
Vairāk no Dov M. Gabbay
Rādīt visuVairāk no tā paša izdevēja
Skatīt visus Dov M. Gabbay ( piem., Hardcover Book , Paperback Book un Book )