Wordt geladen…

QR code

The computer modelling of mathematical reasoning

Bewaard in:

Bibliografische gegevens
Hoofdauteur:	Bundy, Alan
Formaat:	Boek
Taal:	Engels
Gepubliceerd in:	London Academic Press 1983
Onderwerpen:	Mathematics > Data processing Logic, Symbolic and mathematical Automatic theorem proving
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

Gelijkaardige items

Wordt geladen…

Mathematics and plausible reasoning
door: Polya, George, 1887-1985
Gepubliceerd in: (1968)

Wordt geladen…

Mathematical thinking /
door: Godwin, D. C.
Gepubliceerd in: (1971)

Wordt geladen…

Introduction to mathematical logic
door: Mendelson, Elliott
Gepubliceerd in: (1979)

Wordt geladen…

Principles of mathematical logic /
door: Hilbert, D.
Gepubliceerd in: (1990)

Wordt geladen…

Logic of mathematics : a modern course of classical logic /
door: Adamowicz, Zofia
Gepubliceerd in: (1997)

Wordt geladen…

A course in mathematical logic
door: Bell, J. L. (John Lane)
Gepubliceerd in: (1977)

Wordt geladen…

How to read and do proofs an introduction to mathematical thought process
door: Solow, Daniel
Gepubliceerd in: (1982)

Wordt geladen…

Introduction to the foundations of mathematics /
door: Wilder, Raymond Louis, 1896-
Gepubliceerd in: (1965)

Wordt geladen…

Logic and structure
door: Dalen, D. van (Dirk), 1932-
Gepubliceerd in: (1983)

Wordt geladen…

Logic and structure
door: Dalen, D. van (Dirk van), 1932-
Gepubliceerd in: (1980)

Wordt geladen…

The language of logic /
door: Freudenthal, Hans, 1905-
Gepubliceerd in: (1966)

Wordt geladen…

Introduction to symbolic logic /
door: Smith, Karl J.
Gepubliceerd in: (1991)

Wordt geladen…

Direct and converse theorems : the elements of symbolic logic /
door: Gradshtein, I. S.
Gepubliceerd in: (1963)

Wordt geladen…

Computability : computable functions, logic, and the foundations of mathematics /
door: Epstein, Richard L.
Gepubliceerd in: (1989)

Wordt geladen…

Logic and algorithms : with applications to the computer and information sciences /
door: Korfhage, Robert R.
Gepubliceerd in: (1966)

Wordt geladen…

Elements of logic and foundations of mathematics in problems /
door: Wiktor, Marek
Gepubliceerd in: (1982)

Wordt geladen…

The logical and set-theoretical foundations of mathematics /
door: Zulauf, Achim
Gepubliceerd in: (1969)

Wordt geladen…

Math and logic games
door: Agostini, Franco
Gepubliceerd in: (1983)

Wordt geladen…

An introduction to mathematical logic and type theory : to truth through proof /
door: Andrews, P. B. (Peter Bruce), 1937-
Gepubliceerd in: (1986)

Wordt geladen…

Fuzzy logic technology and applications I /
Gepubliceerd in: (1994)

Wordt geladen…

Formal number theory and computability a workbook
door: Fisher, Alec
Gepubliceerd in: (1982)

Wordt geladen…

Principles of knowledge representation and reasoning : proceedings of the third international conference (KR '92) /
Gepubliceerd in: (1992)

Wordt geladen…

Logic, algebra and databases
door: Gray, Peter M. D.
Gepubliceerd in: (1984)

Wordt geladen…

Sets, logic, and axiomatic theories /
door: Stoll, Robert Roth
Gepubliceerd in: (1961)

Wordt geladen…

Logic and databases /
Gepubliceerd in: (1978)

Wordt geladen…

An introduction to modern mathematics /
door: Monjallon, Albert
Gepubliceerd in: (1967)

Wordt geladen…

Foundations of computing : system development with set theory and logic /
door: Scheurer, Thierry
Gepubliceerd in: (1994)

Wordt geladen…

Logic, methodology, and philosophy of science VI proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979
Gepubliceerd in: (1982)

Wordt geladen…

Tractus logico-philosophicus /
door: Wittgenstein, Ludwig, 1889-1951
Gepubliceerd in: (1961)

Wordt geladen…

A first course in formal logic and its applications in computer science /
door: Dowsing, Roy
Gepubliceerd in: (1986)

Wordt geladen…

Logic : a foundation for computer science /
door: Sperschneider, V.
Gepubliceerd in: (1991)

Wordt geladen…

Advanced work in English /
door: Parker,C. R. E. (Colin Rodwell Eric)
Gepubliceerd in: (1967)

Wordt geladen…

Logic, methodology, and philosophy of science, VII : proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983 /
Gepubliceerd in: (1986)

Wordt geladen…

Logic for problem solving
door: Kowalski, Robert
Gepubliceerd in: (1979)

Wordt geladen…

Formal methods in artificial intelligence /
door: Ramsay, Allan, 1953-
Gepubliceerd in: (1988)

Wordt geladen…

Elements of the theory of computation
door: Lewis, Harry R.
Gepubliceerd in: (1981)

Wordt geladen…

Hire purchase ; Annuities.
Gepubliceerd in: (1973)

Wordt geladen…

A study of proportional reasoning /
door: Jones, Peter L.
Gepubliceerd in: (1979)

Wordt geladen…

Mathematical modelling : methodology, models, and micros:
Gepubliceerd in: (1986)

Wordt geladen…

Limit theorems in probability and statistics /
Gepubliceerd in: (1984)