Titlebook: Computer-Aided Reasoning; An Approach Matt Kaufmann,Panagiotis Manolios,J. Strother Moor Book 2000 Springer Science+Business Media New York

CURD

書目名稱Computer-Aided Reasoning影響因子(影響力)




書目名稱Computer-Aided Reasoning影響因子(影響力)學(xué)科排名




書目名稱Computer-Aided Reasoning網(wǎng)絡(luò)公開度




書目名稱Computer-Aided Reasoning網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Computer-Aided Reasoning被引頻次




書目名稱Computer-Aided Reasoning被引頻次學(xué)科排名




書目名稱Computer-Aided Reasoning年度引用




書目名稱Computer-Aided Reasoning年度引用學(xué)科排名




書目名稱Computer-Aided Reasoning讀者反饋




書目名稱Computer-Aided Reasoning讀者反饋學(xué)科排名

fructose

Phoria Adaptation: The Ghost in the Machine,This book is a textbook introduction to applied formal reasoning. We show how to use a formal logic to define concepts and to state and prove theorems. Moreover, we show how to carry out these tasks in cooperation with a particular computed-aided reasoning system.

比喻好

吹牛者

prolate

Scientific Communication and CodificationIn this chapter we prove a few theorems to drive home the point that ACL2 is a mathematical logic rather than just a programming language. For use in our proofs, here are some of the theorems, axioms, and definitions mentioned above.

角斗士

角斗士

IntroductionThis book is a textbook introduction to applied formal reasoning. We show how to use a formal logic to define concepts and to state and prove theorems. Moreover, we show how to carry out these tasks in cooperation with a particular computed-aided reasoning system.

harrow

menopause

MacrosHere we briefly offer some additional remarks on defining macros. You may want to skip this chapter on your first reading of the book and come back to it if you want to define more sophisticated macros than those allowed by the sketch given on page 52.

dearth