Automated Reasoning with Analytic Tableaux and Related Methods
20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings
CHF 80.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Metcalfe, George (Hrsg.)
- ISBN: 978-3-642-22119-4
- EAN: 9783642221194
- Produktnummer: 33388236
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2011
- Seitenangabe: 279 S.
- Plattform: PDF
- Masse: 4'629 KB
1 weiteres Werk von Kai (Hrsg.) Brünnler:
Bewertungen
Anmelden