Automated Reasoning with Analytic Tableaux and Related Methods (eBook, PDF)
18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings
Redaktion: Giese, Martin; Waaler, Arild
Alle Infos zum eBook verschenken
Automated Reasoning with Analytic Tableaux and Related Methods (eBook, PDF)
18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings
Redaktion: Giese, Martin; Waaler, Arild
- Format: PDF
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
Hier können Sie sich einloggen
Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei bücher.de, um das eBook-Abo tolino select nutzen zu können.
This book constitutes the refereed proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2009, held in Oslo, Norway, in July 2009.
The 21 revised research papers presented together with 1 system description and 2 invited talks were carefully reviewed and selected from 44 submissions. The papers cover many topics in the wide range of applications of tableaux and related methods in areas such as hardware and software verfications, semantic technologies, and knowledge engineering.
- Geräte: PC
- ohne Kopierschutz
- eBook Hilfe
- Größe: 6.27MB
The 21 revised research papers presented together with 1 system description and 2 invited talks were carefully reviewed and selected from 44 submissions. The papers cover many topics in the wide range of applications of tableaux and related methods in areas such as hardware and software verfications, semantic technologies, and knowledge engineering.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
- Produktdetails
- Verlag: Springer Berlin Heidelberg
- Seitenzahl: 341
- Erscheinungstermin: 20. Oktober 2009
- Englisch
- ISBN-13: 9783642027161
- Artikelnr.: 44121943
- Verlag: Springer Berlin Heidelberg
- Seitenzahl: 341
- Erscheinungstermin: 20. Oktober 2009
- Englisch
- ISBN-13: 9783642027161
- Artikelnr.: 44121943
- Herstellerkennzeichnung Die Herstellerinformationen sind derzeit nicht verfügbar.