A Computational Logic (ACM monograph series)

Main
Mathematics
A Computational Logic (ACM monograph...

A Computational Logic (ACM monograph series)

Robert S. Boyer, J. Strother Moore

0 / 0

Bạn thích cuốn sách này tới mức nào?

Chất lượng của file scan thế nào?

Xin download sách để đánh giá chất lượng sách

Chất lượng của file tải xuống thế nào?

Thể loại:

Năm:

1979

Nhà xuát bản:

Academic Press

Ngôn ngữ:

english

Trang:

440

ISBN 10:

0121229505

ISBN 13:

9780121229504

Loạt:

ACM Monograph Series

File:

PDF, 825 KB

IPFS:

,

english, 1979

Tải vè (pdf, 825 KB)

Hoàn thành chuyển đổi thành trong

Chuyển đổi thành không thành công

Có thể bạn quan tâm

Matt Kaufmann Lawrence C. Paulson (Eds.) — Interactive Theorem Proving(2010)

Simpson, Stephen George (ed.) — Reverse mathematics 2001

Matthias Felleisen & Matthew Flatt — Programming languages and lambda calculi

Gert Smolka, Chad E. Brown — Introduction to Computational Logic (SS 2014) [lecture notes]

Morten Heine Sorensen, Pawel Urzyczyn — Lectures on the Curry-Howard Isomorphism

Robert S. Boyer, J.Strother Moore — A computational logic

Robert S. Boyer, J. Strother Moore — A Computational Logic Handbook

Michael J.C. Gordon — Programming Language Theory and Its Implementation

Larry Wos; Robert Veroff; Gail W Pieper — Automated reasoning and its applications : essays in honor of Larry Wos

Daniel P. Friedman & Carl Eastlund & Duane Bibby & J. Strother Moore & Matthias Felleisen [Friedman, Daniel P. & Eastlund, Carl & Bibby, Duane & Moore, J. Strother & Felleisen, Matthias] — The Little Prover

Morten Heine Sørensen, Paweł Urzyczyn — Lectures on the Curry-Howard Isomorphism

L.J.M. Claesen, M.J.C. Gordon — Higher Order Logic Theorem Proving and its Applications

J. M Brady — The theory of computer science: A programming approach

Wim H. Hesselink — Programs, Recursion and Unbounded Choice

N. Shankar — Metamathematics, Machines and Gödel's Proof

Hesselink W.H. — Programs, recursion and unbounded choice

de Roever W.-P., Engelhardt K. — Data Refinement: Model-Oriented Proof Methods and their Comparison

W. W. Bledsoe, Donald W. Loveland (ed.) — Automated Theorem Proving: After 25 Years

Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (eds.) — Computer-aided reasoning: ACL2 case studies

Sandip Ray (auth.) — Scalable Techniques for Formal Verification

Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.) — Computer-Aided Reasoning: An Approach

Mauro Gargano, Mark Hillebrand, Dirk Leinenbach, Wolfgang Paul (auth.), Joe Hurd, Tom Melham (eds.) — Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings

Jean-Raymond Abrial, Dominique Cansell (auth.), David Basin, Burkhart Wolff (eds.) — Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Robert S. Boyer, J Strother Moore (auth.), Mark E. Stickel (eds.) — 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings

John Slaney (auth.), Alan Bundy (eds.) — Automated Deduction — CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings

Sten Agerholm (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Joakim von Wright, Jim Grundy, John Harrison (eds.) — Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings

Frank Pfenning (auth.), Claude Kirchner, Hélène Kirchner (eds.) — Automated Deduction — CADE-15: 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings

Nachum Dershowitz, Georg Moser (auth.), Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.) — Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Gerwin Klein (auth.), Matt Kaufmann, Lawrence C. Paulson (eds.) — Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

Francois Bronsard, Uday S. Reddy, Robert W. Hasker (auth.), Hantao Zhang (eds.) — Automated Mathematical Induction

Từ khóa thường sử dụng nhất