Stock image for illustration purposes only - book cover, edition or condition may vary.
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
. Ed(S): Bibel, Wolfgang; Schmitt, P. H.
€ 240.66
FREE Delivery in Ireland
Description for Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Paperback. Editor(s): Bibel, Wolfgang; Schmitt, P. H. Series: Applied Logic Series. Num Pages: 501 pages, biography. BIC Classification: HPL; PBC; UMB; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 765.
The nationwide research project `Deduktion', funded by the `Deutsche Forschungsgemeinschaft (DFG)' for a period of six years, brought together almost all research groups within Germany engaged in the field of automated reasoning. Intensive cooperation and exchange of ideas led to considerable progress both in the theoretical foundations and in the application of deductive knowledge. This three-volume book covers these original contributions moulded into the state of the art of automated deduction.
The three volumes are intended to document and advance a development in the field of automated deduction that ... Read more
The nationwide research project `Deduktion', funded by the `Deutsche Forschungsgemeinschaft (DFG)' for a period of six years, brought together almost all research groups within Germany engaged in the field of automated reasoning. Intensive cooperation and exchange of ideas led to considerable progress both in the theoretical foundations and in the application of deductive knowledge. This three-volume book covers these original contributions moulded into the state of the art of automated deduction.
The three volumes are intended to document and advance a development in the field of automated deduction that ... Read more
Product Details
Format
Paperback
Publication date
2010
Publisher
Springer Netherlands
Number of pages
501
Condition
New
Series
Applied Logic Series
Number of Pages
481
Place of Publication
Dordrecht, Netherlands
ISBN
9789048150502
SKU
V9789048150502
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications