## Non-axiomatic Logic

*A Model of Intelligent Reasoning*

**Author**: Pei Wang

**Publisher:** World Scientific

**ISBN:** 9814440280

**Category:** Computers

**Page:** 258

**View:** 7401

*A Model of Intelligent Reasoning*

**Author**: Pei Wang

**Publisher:** World Scientific

**ISBN:** 9814440280

**Category:** Computers

**Page:** 258

**View:** 7401

*Modelling and Reasoning about Systems*

**Author**: Michael Huth,Mark Ryan

**Publisher:** Cambridge University Press

**ISBN:** 113945305X

**Category:** Computers

**Page:** N.A

**View:** 3714

**Author**: Mordechai Ben-Ari

**Publisher:** Springer Science & Business Media

**ISBN:** 1447141296

**Category:** Mathematics

**Page:** 346

**View:** 2331

**Author**: Chris Sangwin

**Publisher:** OUP Oxford

**ISBN:** 0191635863

**Category:** Mathematics

**Page:** 200

**View:** 7269

**Author**: Michael Jee

**Publisher:** John Wiley & Sons

**ISBN:** 1405152990

**Category:** Technology & Engineering

**Page:** 224

**View:** 3507

*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

**Publisher:** Springer Science & Business Media

**ISBN:** 9783540557357

**Category:** Computers

**Page:** 346

**View:** 6410

*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:** 9307

*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:** 1868

*Proceedings of CAD86, the Seventh International Conference on the Computer as a Design Tool, London, 2 - 5 September 1986, Organized by the Journal Computer-Aided Design*

**Author**: Alison Smith

**Publisher:** Butterworth-Heinemann

**ISBN:** N.A

**Category:** Architecture

**Page:** 476

**View:** 5147

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

**Publisher:** Springer Science & Business Media

**ISBN:** 9781402007125

**Category:** Computers

**Page:** 339

**View:** 1089

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

**Publisher:** Springer Science & Business Media

**ISBN:** 9781402002236

**Category:** Business & Economics

**Page:** 413

**View:** 6680

*Authentic Problem Solving in Middle School*

**Author**: Nancy Butler Wolf

**Publisher:** N.A

**ISBN:** 9780325062594

**Category:** Education

**Page:** 152

**View:** 4352

**Author**: Cheryl Hurkett,Laurence Rogers

**Publisher:** Lulu.com

**ISBN:** 1446162192

**Category:**

**Page:** 358

**View:** 9262

**Author**: N.A

**Publisher:** N.A

**ISBN:** N.A

**Category:** Mathematics

**Page:** N.A

**View:** 736

**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:** 5688

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

**Publisher:** Springer Science & Business Media

**ISBN:** 1846285984

**Category:** Computers

**Page:** 441

**View:** 5598

**Author**: Jeffrey Johnson,Sean McKee,Alfred Vella,Institute of Mathematics and Its Applications

**Publisher:** Oxford University Press, USA

**ISBN:** N.A

**Category:** Mathematics

**Page:** 328

**View:** 8561

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

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

**Publisher:** World Scientific

**ISBN:** 9810244983

**Category:** Computers

**Page:** 324

**View:** 7869

**Author**: John Alan Robinson,Andreĭ Voronkov

**Publisher:** Gulf Professional Publishing

**ISBN:** 9780444829498

**Category:** Computers

**Page:** 2122

**View:** 3183