Home Advanced Search

Advanced Search - Page 1

The collected works of Larry Wos
  • PDF
  • English
  • Year: 2000.
  • Author: Larry Wos, Gail W. Pieper.
The collected works of Larry Wos: Exploring the power of automated reasoning
  • DJVU
  • English
  • Year: 2000
  • Author: Wos L., Pieper G.W. (eds.)
The collected works of Larry Wos: Exploring the power of automated reasoning
  • DJVU
  • English
  • Year: 2000
  • Author: Wos L., Pieper G.W. (eds.)
Asymptotic and Numerical Methods for Partial Differential Equations with Critical Parameters
  • PDF
  • English
  • Year: 1993
  • Author: D. Dijkstra, J. G. M. Kuerten (auth.), Hans G. Kaper, Marc Garbey, Gail W. Pieper (eds.)
Chronik von Tempelhof wie es war und jetzt ist seit 400 Jahren
  • PDF
  • German
  • Year: 1868
  • Author: G W Pieper
6th Conference on Automated Deduction: New York, USA, June 7–9, 1982
  • DJVU
  • English
  • Year: 1982
  • Author: L. Wos (auth.), D. W. Loveland (eds.)
6th Conference on Automated Deduction: New York, USA, June 7–9, 1982
  • PDF
  • English
  • Year: 1982
  • Author: L. Wos (auth.), D. W. Loveland (eds.)
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune
  • PDF
  • English
  • Year: 2013
  • Author: Larry Wos (auth.), Maria Paola Bonacina, Mark E. Stickel (eds.)
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune
  • PDF
  • English
  • Year: 2013
  • Author: Larry Wos (auth.), Maria Paola Bonacina, Mark E. Stickel (eds.)
Our A-Maze-Ing National Parks: 50 Mazes from Acadia to Zion
  • EPUB
  • English
  • Year: 2021
  • Author: Joseph Wos; Joe Wos
search