Home Advanced Search

Advanced Search - Page 1

Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: Michael Beeson (auth.), Tetsuo Ida, Jacques Fleuriot (eds.)
Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: Michael Beeson (auth.), Tetsuo Ida, Jacques Fleuriot (eds.)
Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Arjeh M. Cohen (auth.), Jacques Calmet, Tetsuo Ida, Dongming Wang (eds.)
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
  • PDF
  • English
  • Year: 2001
  • Author: Jacques Fleuriot PhD, MEng (auth.)
Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers
  • PDF
  • English
  • Year: 2006
  • Author: Laura I. Meikle, Jacques D. Fleuriot (auth.), Hoon Hong, Dongming Wang (eds.)
An Introduction to Computational Origami
  • PDF
  • English
  • Year: 2020
  • Author: Tetsuo Ida
Foundations of constructive mathematics: metamathematical studies issue 3
  • DJVU
  • English
  • Year: 1985
  • Author: Michael J. Beeson
Algorithms and Computation: 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Kazuo Iwama (auth.), Tetsuo Asano (eds.)
Algorithms and Computation: 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Kazuo Iwama (auth.), Tetsuo Asano (eds.)
Competing Capitalisms: Australia, Japan and Economic Competition in the Asia-Pacific
  • PDF
  • English
  • Year: 1999
  • Author: Mark Beeson (auth.)
search