Labelled Deduction

Name: Labelled Deduction
Brand: Springer
SKU: 9789401057813
Price: 116.25 EUR
Availability: InStock

Автор: David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Vigan?

Език:

Корици: С меки корици

Издател: Springer

Наличност: Външен склад в ограничено количество

Изпращаме след 11-15 дни

116.25 € 227.37 лв

Labelled deduction is an approach to providing frameworks for presenting and using different logics...

Информация за книгата

Автор

David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Vigan?

Език

Английски език

Корици

Книга - С меки корици

Издадена

2012

страници

267

EAN

9789401057813

ISBN

9789401057813

Enbook ID

06622611

Издател

Springer

Теглоt

438

Размери

155 x 235 x 16

Пълно описание

Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. §Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterised proofs of metatheoretic properties, and ease of mechanisability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational linguistics - for example, formalizing and reasoning about dynamic `state oriented' properties such as knowledge, belief, time, space, and resources.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Labelled Deduction

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също