SULJE VALIKKO

Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ

avaa valikko

Luca Viganò | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 10 tuotetta
Haluatko tarkentaa hakukriteerejä?



Labelled Non-Classical Logics
Luca Viganò
Springer (2000)
Kovakantinen kirja
129,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Labelled Non-Classical Logics
Luca Viganò
Springer-Verlag New York Inc. (2010)
Pehmeäkantinen kirja
129,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Ramingo
Luca Viganò
La strada per Babilonia (2018)
Pehmeäkantinen kirja
48,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Labelled Deduction
David Basin; M. D'Agostino; Dov M. Gabbay; Seán Matthews; Luca Viganò
Springer (2000)
Kovakantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Foundations and Applications of Security Analysis - Joint Workshop on Automated Reasoning for Security Protocol Analysis and Iss
Pierpaolo Degano; Luca Viganò
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Labelled Deduction
David Basin; M. D'Agostino; Dov M. Gabbay; Seán Matthews; Luca Viganò
Springer (2012)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Tests and Proofs - 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
Margus Veanes; Luca Vigano
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja
45,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Principles of Security and Trust - 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Th
Frank Piessens; Luca Viganò
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2016)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Socio-Technical Aspects in Security and Trust - 10th International Workshop, STAST 2020, Virtual Event, September 14, 2020, Revi
Thomas Groß; Luca Viganò
Springer Nature Switzerland AG (2021)
Pehmeäkantinen kirja
59,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Socio-Technical Aspects in Security : 11th International Workshop, STAST 2021, Virtual Event, October 8, 2021, Revised Selected
Simon Parkin (ed.); Luca Viganò (ed.)
Springer (2022)
Pehmeäkantinen kirja
68,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Labelled Non-Classical Logics
129,90 €
Springer
Sivumäärä: 292 sivua
Asu: Kovakantinen kirja
Painos: 2000
Julkaisuvuosi: 2000, 31.01.2000 (lisätietoa)
Kieli: Englanti
I am very happy to have this opportunity to introduce Luca Vigano's book on Labelled Non-Classical Logics. I put forward the methodology of labelled deductive systems to the participants of Logic Colloquium'90 (Labelled Deductive systems, a Position Paper, In J. Oikkonen and J. Vaananen, editors, Logic Colloquium '90, Volume 2 of Lecture Notes in Logic, pages 66-68, Springer, Berlin, 1993), in an attempt to bring labelling as a recognised and significant component of our logic culture. It was a response to earlier isolated uses of labels by various distinguished authors, as a means to achieve local proof­ theoretic goals. Labelling was used in many different areas such as resource labelling in relevance logics, prefix tableaux in modal logics, annotated logic programs in logic programming, proof tracing in truth maintenance systems, and various side annotations in higher-order proof theory, arithmetic and analysis. This widespread local use of labels was an indication of an underlying logical pattern, namely the simultaneous side-by-side manipulation of several kinds of logical information. It was clear that there was a need to establish the labelled deductive systems methodology. Modal logic is one major area where labelling can be developed quickly and sys­ tematically with a view of demonstrating its power and significant advantage. In modal logic the labels can play a double role.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Labelled Non-Classical Logicszoom
Näytä kaikki tuotetiedot
ISBN:
9780792377498
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste