.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Automated Deduction: A Basis for Applications, Vol. 3: Applications (Applied Logic Series) (v. 1)
N/A
€ 200.89
FREE Delivery in Ireland
Description for Automated Deduction: A Basis for Applications, Vol. 3: Applications (Applied Logic Series) (v. 1)
Paperback. A Basis for Applications. Foundations - Calculi and Methodss; Systems and Implementation Techniques. Series: Applied Logic Series. 347 pages, 1, black & white illustrations. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Features the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques. Cateogry: (P) Professional & Vocational. BIC Classification: UYQ. Dimension: 242 x 160 x 26. Weight: 650.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
1998
Publisher
Springer
Condition
New
Number of Pages
335
Place of Publication
Dordrecht, Netherlands
ISBN
9780792351313
SKU
V9780792351313
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Automated Deduction: A Basis for Applications, Vol. 3: Applications (Applied Logic Series) (v. 1)