Vertel uw vrienden over dit artikel:
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
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 13 oktober 2012 |
| ISBN13 | 9783642264306 |
| Uitgevers | Springer-Verlag Berlin and Heidelberg Gm |
| Pagina's | 386 |
| Afmetingen | 155 × 235 × 20 mm · 598 g |
| Taal en grammatica | Duits |
Meer door Dov M. Gabbay
Alles tonenBekijk alles van Dov M. Gabbay ( bijv. Hardcover Book en Paperback Book )
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld