SULJE VALIKKO

avaa valikko

Nicola Olivetti | Akateeminen Kirjakauppa

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



Automated Reasoning with Analytic Tableaux and Related Methods - 16th International Conference, TABLEAUX 2007, Aix en Provence,
Nicola Olivetti
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings
Nicola Olivetti; Ashish Tiwari
Springer International Publishing AG (2016)
Pehmeäkantinen kirja
78,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Advances in Modal Logic, Volume 13
Nicola Olivetti; Rineke Verbrugge; Sara Negri
College Publications (2020)
Pehmeäkantinen kirja
36,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Proof Theory for Fuzzy Logics
George Metcalfe; Nicola Olivetti; Dov M. Gabbay
Springer-Verlag New York Inc. (2008)
Kovakantinen kirja
117,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Proof Theory for Fuzzy Logics
George Metcalfe; Nicola Olivetti; Dov M. Gabbay
Springer (2010)
Pehmeäkantinen kirja
117,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Proof Theory for Fuzzy Logics
George Metcalfe; Nicola Olivetti; Dov Gabbay
SPRINGER VERLAG GMBH (2009)
Pehmeäkantinen kirja
66,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Automated Reasoning with Analytic Tableaux and Related Methods - 16th International Conference, TABLEAUX 2007, Aix en Provence,
49,60 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 250 sivua
Asu: Pehmeäkantinen kirja
Painos: 2007
Julkaisuvuosi: 2007, 21.06.2007 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Artificial Intelligence
This book constitutes the refereed proceedings of the 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2007, held in Aix en Provence, France. It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and dynamic logics), from many-valued logics to nonmonotonic logics, and from classical first-order logic to description logics.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Automated Reasoning with Analytic Tableaux and Related Methods - 16th International Conference, TABLEAUX 2007, Aix en Provence, zoom
Näytä kaikki tuotetiedot
ISBN:
9783540730989
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste