Produktbild
Bernhard (Hrsg.) Beckert

Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings

Buch

This volume contains the research papers presented at the International C- ference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX2005)heldSeptember14-17,2005inKoblenz,Germany.Thisc- ference was the fourteenth in a series of internationalmeetings since 1992(listed on page IX). It was part of the International Conference Summer Koblenz 2005, which included conferences covering a broad spectrum of topics and intere- ing ?elds of application for tableau-based methods: arti?cial intelligence (KI), multi-agent systems (MATES), automated reasoning and knowledge represen- tion (FTP), and software engineering and formal me… Mehr

CHF 108.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


  • ISBN: 978-3-540-28931-9
  • EAN: 9783540289319
  • Produktnummer: 15382429
  • Verlag: Springer Nature EN
  • Sprache: Englisch
  • Erscheinungsjahr: 2005
  • Seitenangabe: 346 S.
  • Masse: 1 Ex.; H23.3 cm x B15.5 cm 1'120 g
  • Abbildungen: Book
  • Reihenbandnummer: 3702
  • Gewicht: 1120

19 weitere Werke von Bernhard (Hrsg.) Beckert:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.