The Computer Modelling of Mathematical Reasoning / 1. Artificial Intelligence Alan Bundy

Bundy, Alan:

ISBN 10: 0121412504 / ISBN 13: 9780121412500

Published by Academic Press Inc, 1983

About this Item

336 Seiten , 626 g - sauberes Buch mit wenigen Spuren, Seitenpapier leicht gedunkelt, unkenntlich gemachter Namensaufkleber (siehe auch mein Foto) [m] bl Sprache: Englisch Gewicht in Gramm: 626. Seller Inventory # 48657

Bibliographic Details

Title: The Computer Modelling of Mathematical ...

Publisher: Academic Press Inc

Publication Date: 1983

Binding: .*geb.

Condition: Gut

About this title

Synopsis:

This review of the work done to date on the computer modelling of mathematical reasoning processes brings together a variety of approaches and disciplines within a coherent frame. A limited knowledge of mathematics is assumed in the introduction to the principles of mathematical logic. The plan of the book is such that students with varied backgrounds can find necessary information as quickly as possible. Exercises are included throughout the book.