Faites connaître cet article à vos amis:
Revision, Acceptability and Context: Theoretical and Algorithmic Aspects - Cognitive Technologies Dov M. Gabbay 2010 edition
Prix
€ 143,99
Commandé depuis un entrepôt distant
Livraison prévue 11 - 19 nov.
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier
Recevez une notification pour les nouvelles sorties de Dov M. Gabbay
Ajouter à votre liste de souhaits iMusic
Également disponible en tant que :
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
| Médias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
| Validé | 13 octobre 2012 |
| ISBN13 | 9783642264306 |
| Éditeurs | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 386 |
| Dimensions | 155 × 235 × 20 mm · 598 g |
| Langue et grammaire | Allemand |