Menu
Zistiť stav objednávky
Kontaktujte nás
Kniha Labelled Deduction David Basin

Labelled Deduction

Autor: David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Vigan?
Jazyk: Angličtina
Väzba: Pevná
Vydavateľ: Springer
Dostupnosť: Skladom u dodávateľa v malom množstve
Odosielame za 11-15 dní
105.82 €
Labelled deduction is an approach to providing frameworks for presenting and using different logics...

Informácie o knihe

Autor
David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Vigan?
Jazyk
Angličtina
Väzba
Kniha - Pevná
Vydalo
2000
Stránok
267
EAN
9780792362371
ISBN
0792362373
Enbook ID
05250736
Vydavateľ
Springer
Hmotnosť
1270
Rozmery
170 x 244 x 20

Kompletný popis

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.

Mohlo by vás zaujímať

Literacy Development and Enhancement Across Orthographies and Cultures

Dorit Aram
105.82 €

How to Write a Pantomime

Lesley Cookman
11.15 €

Equipping the Believer

David Corbin
13.50 €

Making Large Schools Work

Arthur Shapiro
57.95 €

Law in the Making

Alessandro Pizzorusso
50.02 €

Laser Applications in Physical Chemistry

Evans
385.32 €

Manufacturing Challenges in Electronic Packaging

W. T. Chen
99.65 €

Believe to Succeed

Karin Arutunyan
16.24 €

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

Aneka Brunßen
15.65 €

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Synergieeffekte und Integration bei Mergers & Acquisitions

Georg Christoph Bocker
50.02 €

Toeplitz Centennial

ohberg
46.79 €

Lehrbuch der Experimentalphysik

ADOLF W LLNER
27.60 €

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

José Saraiva Martins
18.59 €

Leuchte des Exils

Hans Berkessel
18.10 €