Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings
CHF 106.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
- ISBN: 978-3-540-69778-7
- EAN: 9783540697787
- Produktnummer: 37275620
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 2003
- Seitenangabe: 325 S.
- Plattform: PDF
- Auflage: 1998
- Reihenbandnummer: 1397
6 weitere Werke von Harrie De (Hrsg.) Swart:
Bewertungen
Anmelden