Lex

Browse

GenresShelvesPremiumBlog

Company

AboutJobsPartnersSell on LexAffiliates

Resources

DocsInvite FriendsFAQ

Legal

Terms of ServicePrivacy Policygeneral@lex-books.com(215) 703-8277

© 2026 LexBooks, Inc. All rights reserved.

The computer modelling of mathematical reasoningThe computer modelling of mathematical reasoning

The computer modelling of mathematical reasoning1983

Alan Bundy

Details

First published
1983
OL Work ID
OL3340779W

Subjects

Automatic theorem provingData processingLogic, Symbolic and mathematicalMathematicsSymbolic and mathematical LogicArtificial intelligence

Find this book

Open Library
Book data from Open Library. Cover images courtesy of Open Library.