2 E-böcker av P.H. Schmitt
Wolfgang Bibel & P.H. Schmitt: Automated Deduction – A Basis for Applications Volume I Foundations – Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
1. BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot p …
PDF
Engelska
DRM
€230.51
Wolfgang Bibel & P.H. Schmitt: 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, math …
PDF
Engelska
DRM
€166.30
