## The Computer Modelling of Mathematical Reasoning

**Author**: Alan Bundy

**Publisher:** N.A

**ISBN:** N.A

**Category:** Mathematics

**Page:** 322

**View:** 5720

**Author**: Alan Bundy

**Publisher:** N.A

**ISBN:** N.A

**Category:** Mathematics

**Page:** 322

**View:** 5720

*5. Frühjahrsschule, KIFS-87, Günne, 28. März – 5. April 1987 Proceedings*

**Author**: Thomas Christaller

**Publisher:** Springer-Verlag

**ISBN:** 3642837395

**Category:** Computers

**Page:** 403

**View:** 7438

*Proceedings of CAD86 London 2 — 5 September 1986*

**Author**: Alison Smith

**Publisher:** Elsevier

**ISBN:** 148310494X

**Category:** Technology & Engineering

**Page:** 487

**View:** 7365

**Author**: Chris Sangwin

**Publisher:** OUP Oxford

**ISBN:** 0191635863

**Category:** Mathematics

**Page:** 200

**View:** 2886

*Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday*

**Author**: Dieter Hutter,Werner Stephan

**Publisher:** Springer

**ISBN:** 354032254X

**Category:** Computers

**Page:** 570

**View:** 8893

**Author**: N.A

**Publisher:** N.A

**ISBN:** N.A

**Category:** Mathematics

**Page:** N.A

**View:** 1382

*Research in Contexts of Practice : [proceedings of the NATO Advanced Research Workshop on Advances in Mathematical Problem Solving Research, Held in Viana Do Castelo, Portugal, 27-30 April, 1991]*

**Author**: Joao P. Ponte,Joao F. Matos,Domingos Fernandes,Jose M. Matos

**Publisher:** Springer Science & Business Media

**ISBN:** 9783540557357

**Category:** Computers

**Page:** 346

**View:** 9808

**Author**: N.A

**Publisher:** N.A

**ISBN:** N.A

**Category:** Mathematics

**Page:** N.A

**View:** 7418

*Proceedings of the Fifth Asian Symposium (ASCM 2001), Matsuyama, Japan, 26-28 September 2001*

**Author**: Kiyoshi Shirayanagi,Kazuhiro Yokoyama

**Publisher:** World Scientific

**ISBN:** 9789812799661

**Category:** Mathematics

**Page:** 240

**View:** 7084

**Author**: D. Corfield,Jon Williamson,Dr. Jon Williamson

**Publisher:** Springer Science & Business Media

**ISBN:** 9781402002236

**Category:** Business & Economics

**Page:** 413

**View:** 4001

**Author**: John O'Donnell,Cordelia Hall,Rex Page

**Publisher:** Springer Science & Business Media

**ISBN:** 1846285984

**Category:** Computers

**Page:** 441

**View:** 7719

**Author**: Cheryl Hurkett,Laurence Rogers

**Publisher:** Lulu.com

**ISBN:** 1446162192

**Category:**

**Page:** 358

**View:** 1052

**Author**: L. Magnani,Nancy Nersessian,Claudio Pizzi

**Publisher:** Springer Science & Business Media

**ISBN:** 9781402007125

**Category:** Mathematics

**Page:** 342

**View:** 5854

*Proceedings of the Fourth Asian Symposium (ASCM 2000)*

**Author**: Xiao-Shan Gao,Dongming Wang

**Publisher:** World Scientific

**ISBN:** 9810244983

**Category:** Computers

**Page:** 324

**View:** 9675

*Modelling and Reasoning about Systems*

**Author**: Michael Huth,Mark Ryan

**Publisher:** Cambridge University Press

**ISBN:** 113945305X

**Category:** Computers

**Page:** N.A

**View:** 2415

**Author**: Sheldon Scott Nicholl,University of Illinois at Urbana-Champaign. Department of Computer Science

**Publisher:** N.A

**ISBN:** N.A

**Category:** Language acquisition

**Page:** 264

**View:** 7853

*International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings*

**Author**: Jacques Calmet

**Publisher:** Springer Science & Business Media

**ISBN:** 9783540573227

**Category:** Computers

**Page:** 305

**View:** 7549

*A Historical and Sociological Exploration*

**Author**: Donald A. MacKenzie

**Publisher:** N.A

**ISBN:** N.A

**Category:** Automatic theorem proving

**Page:** 45

**View:** 8585

**Author**: Maria Manzano

**Publisher:** Cambridge University Press

**ISBN:** 9780521354356

**Category:** Computers

**Page:** 388

**View:** 5190

**Author**: Jonathan Lawry

**Publisher:** Springer Science & Business Media

**ISBN:** 0387290567

**Category:** Computers

**Page:** 246

**View:** 6754