Menu
Виж статуса на поръчката
Свържете се с нас
Книга Labelled Deduction David Basin

Labelled Deduction

Автор: David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Vigan?
Език: Английски език
Корици: С твърди корици
Издател: Springer
Наличност: Външен склад в ограничено количество
Изпращаме след 13-18 дни
115.92 € 226.72 лв
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?
Език
Английски език
Корици
Книга - С твърди корици
Издадена
2000
страници
267
EAN
9780792362371
ISBN
0792362373
Enbook ID
05250736
Издател
Springer
Теглоt
1270
Размери
170 x 244 x 20

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

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.

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

Literacy Development and Enhancement Across Orthographies and Cultures

Dorit Aram
115.92 € 226.72 лв

How to Write a Pantomime

Lesley Cookman
11.82 € 23.12 лв

Making Large Schools Work

Arthur Shapiro
66.15 € 129.38 лв

Law in the Making

Alessandro Pizzorusso
52.72 € 103.11 лв

Laser Applications in Physical Chemistry

Evans
403.70 € 789.56 лв

Believe to Succeed

Karin Arutunyan
17.39 € 34.00 лв

Feminist Perspective on Gender Representation in Nnedi Okorafor's 'Lagoon'

Aneka Brunßen
16.58 € 32.44 лв

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

Synergieeffekte und Integration bei Mergers & Acquisitions

Georg Christoph Bocker
53.07 € 103.80 лв

Lehrbuch der Experimentalphysik

ADOLF W LLNER
29.26 € 57.24 лв

La Iglesia en los albores del tercer milenio : reflexiones teológico-pastorales

José Saraiva Martins
19.34 € 37.83 лв

Leuchte des Exils

Hans Berkessel
19.09 € 37.34 лв