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] E Sprache: Englisch Gewicht in Gramm: 626.

Seller Inventory # 48657

Bibliographic Details

• Title: The Computer Modelling of Mathematical Reasoning / 1. Artificial Intelligence Alan Bundy
• Publisher: Academic Press Inc
• Publication Date: 1983
• Language: English
• ISBN 10: 0121412504
• ISBN 13: 9780121412500
• Binding: *geb.
• Condition: Gut
• Weight: 626 grams
• Seller catalogs:
  • Mathematik

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.