✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 418.243 € mehr verdient. → Mehr erfahren 💪 📚 🙏

Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

Softcover - 9783540407874
53,49 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 2 Tagen.
    •
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Autorenfreundlich Bücher kaufen?!

Beschreibung

This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2003, held in Rome, Italy in September 2003.

The 20 revised full papers presented 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 in the context of a broad variety of logic calculi.

International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings

Details

Verlag Springer Berlin
Ersterscheinung 03. September 2003
Maße 23.3 cm x 15.5 cm
Gewicht 441 Gramm
Format Softcover
ISBN-13 9783540407874
Seiten 270

Schlagwörter

Artificial Intelligence, Computer Science, Computerprogrammierung und Softwareentwicklung, Formal Languages and Automata Theory, Informatik, Künstliche Intelligenz, Number Theory, Programming Techniques, Software Engineering, Theoretische Informatik, Zahlentheorie

Herstellerinformationen +