Home Advanced Search

Advanced Search - Page 1

A Computational Logic Handbook
  • PDF
  • English
  • Year: 1988
  • Author: Robert S. Boyer, J Strother Moore
A Computational Logic
  • PDF
  • English
  • Year: 1979
  • Author: Robert S. Boyer, J Strother Moore and Thomas A. Standish (Auth.)
Introduction to Abstract Algebra
  • PDF
  • English
  • Year: 1975
  • Author: J. Strother Moore (Auth.)
Computer-aided reasoning: ACL2 case studies
  • DJVU
  • English
  • Year: 2000
  • Author: Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (eds.)
Computer-Aided Reasoning: An Approach
  • DJVU
  • English
  • Year: 2000
  • Author: Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.)
Vladimir Markov and Russian Primitivism: A Charter for the Avant-Garde
  • EPUB
  • English
  • Year: 2015
  • Author: Z. S. Strother
Group Representations, Ergodic Theory, and Mathematical Physics: A Tribute to George W. Mackey
  • DJVU
  • English
  • Year: 2008
  • Author: Robert S. Doran, Calvin C. Moore, Robert J. Zimmer
Devil's Lake, Wisconsin and the Civilian Conservation Corps
  • EPUB
  • English
  • Year: 2011
  • Author: Robert J. Moore
Économie politique des capitalismes
  • PDF
  • French
  • Year: 2015
  • Author: Robert BOYER
Les capitalismes à l'épreuve de la pandémie
  • EPUB
  • French
  • Year: 2020
  • Author: Robert Boyer
search