Menu
Sprawdź status swojego zamówienia
Skontaktuj się z nami
Książka Labelled Deduction David Basin

Labelled Deduction

Autor: David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Vigan?
Język: Angielski
Oprawa: Twarda
Wydawca: Springer
Dostępność: Dostępna u dostawcy w małych ilościach
Wysyłamy za 11-15 dni
472.40 zł
Labelled deduction is an approach to providing frameworks for presenting and using different logics...

Informacje o książce

Autor
David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Vigan?
Język
Angielski
Oprawa
Książka - Twarda
Data wydania
2000
strony
267
EAN
9780792362371
ISBN
0792362373
Enbook ID
05250736
Wydawca
Springer
Waga
1270
Wymiary
170 x 244 x 20

Pełny opis

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.

Możesz być zainteresowany

Literacy Development and Enhancement Across Orthographies and Cultures

Dorit Aram
472.40 zł

Making Large Schools Work

Arthur Shapiro
281.66 zł

Law in the Making

Alessandro Pizzorusso
241.03 zł

Laser Applications in Physical Chemistry

Evans
1 718.40 zł

Manufacturing Challenges in Electronic Packaging

W. T. Chen
472.40 zł

Believe to Succeed

Karin Arutunyan
74.02 zł

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

Aneka Brunßen
66.79 zł

Klienci, którzy kupili tę książkę, kupili również

Synergieeffekte und Integration bei Mergers & Acquisitions

Georg Christoph Bocker
289.47 zł

Toeplitz Centennial

ohberg
238.10 zł

Lehrbuch der Experimentalphysik

ADOLF W LLNER
135.65 zł

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

José Saraiva Martins
79.10 zł

Leuchte des Exils

Hans Berkessel
77.24 zł