Home Advanced Search

Advanced Search - Page 1

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.)
The collected works of Larry Wos
  • PDF
  • English
  • Year: 2000.
  • Author: Larry Wos, Gail 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.)
Automation of Reasoning: 2: Classical Papers on Computational Logic 1967–1970
  • PDF
  • English
  • Year: 1983
  • Author: L. Wos, L. Henschen (auth.), Jörg H. Siekmann, Graham Wrightson (eds.)
Reservoir Sedimentation
  • PDF
  • Year: 1987
  • Author: G.W. Annandale (Eds.)
Korrespondenz Adrien-Marie Legendre — Carl Gustav Jacob Jacobi: Correspondance mathématique entre Legendre et Jacobi
  • PDF
  • German
  • Year: 1998
  • Author: Herbert Pieper (auth.), Herbert Pieper (eds.)
Personalmanagement: Von der Plan- zur Marktwirtschaft
  • PDF
  • German
  • Year: 1991
  • Author: Rüdiger Pieper (auth.), Dr. Rüdiger Pieper (eds.)
Engineering Tri: Bology
  • DJVU
  • English
  • Year: 1993
  • Author: G.W. Stachowiak and A.W. Batchelor (Eds.)
search