Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Labelled Deduction David Basin

Labelled Deduction

Szerző: David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Vigan?
Nyelv: Angol
Kötés: Kemény kötésű
Kiadó: Springer
Elérhetőség: Beszállítói készleten alacsony példányszámban
Küldés 11-15 napon belül
40 171 Ft
Labelled deduction is an approach to providing frameworks for presenting and using different logics...

Információk a könyvről

Szerző
David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Vigan?
Nyelv
Angol
Kötés
Könyv - Kemény kötésű
Kiadva
2000
oldal
267
EAN
9780792362371
ISBN
0792362373
Enbook ID
05250736
Kiadó
Springer
Súly
1270
Méretek
170 x 244 x 20

Teljes leírás

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.

Érdekelheti

Literacy Development and Enhancement Across Orthographies and Cultures

Dorit Aram
40 171 Ft

How to Write a Pantomime

Lesley Cookman
4 306 Ft

Equipping the Believer

David Corbin
5 183 Ft

Making Large Schools Work

Arthur Shapiro
24 836 Ft

Law in the Making

Alessandro Pizzorusso
19 173 Ft

Laser Applications in Physical Chemistry

Evans
152 388 Ft

Manufacturing Challenges in Electronic Packaging

W. T. Chen
38 234 Ft

Believe to Succeed

Karin Arutunyan
6 750 Ft

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

Aneka Brunßen
6 042 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Synergieeffekte und Integration bei Mergers & Acquisitions

Georg Christoph Bocker
19 328 Ft

Toeplitz Centennial

ohberg
17 930 Ft

Lehrbuch der Experimentalphysik

ADOLF W LLNER
10 673 Ft

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

José Saraiva Martins
6 550 Ft

Leuchte des Exils

Hans Berkessel
6 394 Ft