This second volume of Handbook of Automated Reasoning covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.
This second volume of Handbook of Automated Reasoning covers topics such as higher-order logic and logical frameworks, higher-order unification and ma...
First published in 1956 as part of the Cambridge Aeronautical Series, this book addresses the vital science of wing theory. Robinson and Laurmann record the historic developments in wing theory, including the work of Joukowski and Bernoulli, and discuss developments in supersonic flow and unsteady aerofoil theory. This book will be of value to anyone with an interest in the history of the science of flight.
First published in 1956 as part of the Cambridge Aeronautical Series, this book addresses the vital science of wing theory. Robinson and Laurmann reco...
