Revision, Acceptability and Context: Theoretical and Algorithmic Aspects - Cognitive Technologies - Dov M. Gabbay - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783642141584 - 8 sierpnia 2010
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Revision, Acceptability and Context: Theoretical and Algorithmic Aspects - Cognitive Technologies 2010 edition

Dov M. Gabbay

Zaloguj się, aby otrzymać powiadomienie, gdy produkt będzie ponownie dostępny

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

Revision, Acceptability and Context: Theoretical and Algorithmic Aspects - Cognitive Technologies 2010 edition

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 Książki     Hardcover Book   (Książka z twardym grzbietem i okładką)
Wydane 8 sierpnia 2010
ISBN13 9783642141584
Wydawcy Springer-Verlag Berlin and Heidelberg Gm
Strony 386
Wymiary 155 × 235 × 22 mm   ·   635 g
Język English  
Pokaż wszystko

Więcej od Dov M. Gabbay

Zobacz wszystko od Dov M. Gabbay ( np. Hardcover Book i Paperback Book )