Automated Reasoning with Analytic Tableaux and Related Methods / Lecture Notes in Computer Science Bd.2381 (PDF)
International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2002, held in Copenhagen, Denmark, in July/August 2002.The 20 revised full papers and two system...
sofort als Download lieferbar
eBook (pdf)
53.49 €
26 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Automated Reasoning with Analytic Tableaux and Related Methods / Lecture Notes in Computer Science Bd.2381 (PDF)“
This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2002, held in Copenhagen, Denmark, in July/August 2002.The 20 revised full papers and two system descriptions presented together with two invited contributions were carefully reviewed and selected for inclusion in the book. All current issues surrounding the mechanization of logical reasoning with tableaux and similar methods are addressed. Among the logic calculi investigated are linear logic, temporal logic, modal logics, hybrid logic, multi-modal logics, fuzzy logics, Goedel logic, Lukasiewicz logic, intermediate logics, quantified boolean logic, and, of course, classical first-order logic.
Bibliographische Angaben
- 2003, 2002, 346 Seiten, Englisch
- Herausgegeben: Uwe Egly, Christian G. Fernmüller
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540456163
- ISBN-13: 9783540456162
- Erscheinungsdatum: 02.08.2003
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 3.99 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Automated Reasoning with Analytic Tableaux and Related Methods / Lecture Notes in Computer Science Bd.2381"
0 Gebrauchte Artikel zu „Automated Reasoning with Analytic Tableaux and Related Methods / Lecture Notes in Computer Science Bd.2381“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Automated Reasoning with Analytic Tableaux and Related Methods / Lecture Notes in Computer Science Bd.2381".
Kommentar verfassen