wyszukanych pozycji: 4
![]() |
Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, AIX En Provence, France, July 3-6, 2007,
ISBN: 9783540730989 / Angielski / Miękka / 2007 / 262 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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. This book constitutes the refereed proceedings of the 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Metho... |
cena:
193,19 zł |
![]() |
Automated Reasoning: 8th International Joint Conference, Ijcar 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings
ISBN: 9783319402284 / Angielski / Miękka / 2016 / 580 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 26 revised full research papers and 9 system descriptions presented together with 4 invited talks were...This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portu... |
cena:
309,12 zł |
![]() |
Proof Theory for Fuzzy Logics
ISBN: 9781402094088 / Angielski / Twarda / 2008 / 276 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Fuzzy logics are many-valued logics that are well suited to reasoning in the context of vagueness. They provide the basis for the wider field of Fuzzy Logic, encompassing diverse areas such as fuzzy control, fuzzy databases, and fuzzy mathematics. This book provides an accessible and up-to-date introduction to this fast-growing and increasingly popular area. It focuses in particular on the development and applications of proof-theoretic presentations of fuzzy logics; the result of more than ten years of intensive work by researchers in the area, including the authors. In addition to providing...
Fuzzy logics are many-valued logics that are well suited to reasoning in the context of vagueness. They provide the basis for the wider field of Fuzzy...
|
cena:
463,70 zł |
![]() |
Advances in Modal Logic, Volume 13
ISBN: 9781848903418 / Angielski / Miękka / 2020 / 626 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
120,77 zł |