The Computer modelling of mathematical reasoning

The Computer modelling of mathematical reasoning

Saved in:

Bibliographic Details
Main Author:	Bundy, Allan
Format:	Book
Published:	London Academic Press 1983
Subjects:	Automatic theorem proving Mathematics > Data processing
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Principles of automated theorem proving
by: Duffy, David A
Published: (1991)

The resolution calculus
by: Leitsch, Alexander
Published: (1997)

Automated theorem proving theory and practice
by: Newborn, Monroe
Published: (2001)

A proof theory for general unification
by: Snyder, Wayne 1955 - .
Published: (1991)

Handbook of automated reasoning
Published: (2001)

Automated reasoning 33 basic research problems
by: Wos, Larry
Published: (1988)

The automation of reasoning an experimenter's notebook with OTTER tutorial
by: Wos, Larry
Published: (1996)

Diagrammatic representation and reasoning
Published: (2002)

First-order logic and automated theorem proving
by: Fitting, Melvin 1942-
Published: (1996)

Automated theorem proving in software engineering
by: Schumann, Johann M 1960-
Published: (2001)

Automated reasoning proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992
Published: (1992)

Automated reasoning introduction and applications
Published: (1992)

Higher order logic theorem proving and its applications proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92
Published: (1993)

Proof in VDM a practitioner's guide
Published: (1994)

Computational logic logic programming and beyond
Published: (2002)

Computational logic essays in honor of Alan Robinson
Published: (1991)

Automated deduction in geometry revised papers, September 25 - 27, 2000
Published: (2001)

The incompleteness phenomenon a new course in mathematical logic
by: Goldstern, Martin
Published: (1995)

Computing and mathematical modeling
Published: (2006)

Lectures on vanishing theorems
by: Esnault, Helene 1953-
Published: (1992)

A history of the central limit theorem from classical to modern probability theory
by: Fischer, Hans
Published: (2011)

Mathematics and Computing Current Research and Developments
Published: (2013)

Using computers in mathematics
by: Elgarten, Gerald H
Published: (1983)

Using computers in mathematics
by: Elgarten, Gerald H
Published: (1983)

Computers and mathematics
Published: (1989)

Computers in mathematics
Published: (1990)

Computer mathematics for programmers
by: Abney, Darrell H
Published: (1985)

Solutions for using computers in mathematics
by: Elgarten, Gerald H
Published: (1983)

Mathematical modeling with Maple
by: Fox, William P. 1949-
Published: (2012)

Computer applications for finite mathematics and calculus
by: Coscia, Donald R
Published: (1986)

Computer & mathematics with applications an international journal

Computers & mathematics with applications

Mathematics
by: Duncan, Neil
Published: (1987)

Exploring mathematics with Mathematica dialogs concerning computers and mathematics
by: Gray, Theodore W
Published: (1991)

Computer mathematics proceedings of the Special Program at Nankai Institute of Mathematics
Published: (1993)

Mathematical foundations of computer science
by: Bathul, Shahnaz
Published: (2010)

Computer controlled systems theory and design
by: Astrom, Karl J. 1934- Karl Johan
Published: (1997)

Computer controlled systems theory and design
by: Astrom, Karl J. 1934- Karl Johan
Published: (1984)

Computer controlled systems theory and design
by: Astrom, Karl J. 1934- Karl Johan
Published: (1990)

Mathematical REFERENCE GUIDE
by: Wolfram, Stephen
Published: (1992)