Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
CHF 100.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
- ISBN: 978-3-540-31822-4
- EAN: 9783540318224
- Produktnummer: 33302551
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2005
- Seitenangabe: 346 S.
- Plattform: PDF
- Masse: 3'912 KB
- Auflage: 2005
- Abbildungen: Bibliographie
19 weitere Werke von Bernhard (Hrsg.) Beckert:
Electronic Voting
International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
Ebook (PDF Format)
CHF 68.50
Tests and Proofs
International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
Ebook (PDF Format)
CHF 77.00
Electronic Voting
International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
Ebook (PDF Format)
CHF 68.50
Bewertungen
Anmelden