Produktnummer:
18f76995069ba9402e9736c78857f5ada2
| Themengebiete: | automated deduction knowledge knowledge representation logic modal logic predicate logic proof proof theory sequent calculus |
|---|---|
| Veröffentlichungsdatum: | 09.12.2010 |
| EAN: | 9789048147205 |
| Sprache: | Englisch |
| Seitenzahl: | 318 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Wansing, Heinrich |
| Verlag: | Springer Netherland |
Produktinformationen "Proof Theory of Modal Logic"
Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen