Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
We are invited to deal with mathematical activity in a sys tematic way [ ... ] one does expect and look for pleasant surprises in this requirement of a novel combination of psy chology, logic, mathematics and technology. Hao Wang, 1970, quoted from(Wang, 1970). The field of mathematics has been a key application area for automated theorem proving from the start, in fact the very first automatically found the orem was that the sum of two even numbers is even (Davis, 1983). The field of automated deduction has witnessed considerable progress and in the last decade, automated deduction methods have made their way into many areas of research a…
Mehr
CHF 264.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Schmitt, P. H. (Hrsg.)
- ISBN: 978-90-481-5052-6
- EAN: 9789048150526
- Produktnummer: 10317191
- Verlag: Springer Netherlands
- Sprache: Englisch
- Erscheinungsjahr: 2010
- Seitenangabe: 348 S.
- Masse: H23.5 cm x B15.5 cm x D1.8 cm 528 g
- Auflage: Softcover reprint of hardcover 1st ed. 1998
- Abbildungen: Paperback
- Gewicht: 528
17 weitere Werke von Wolfgang (Hrsg.) Bibel:
Bewertungen
Anmelden