Home Advanced Search

Advanced Search - Page 1

A computational logic
  • PDF
  • English
  • Year: 1979
  • Author: Boyer R.S., Moore J.S.
Piton: a mechanically verified assembly-level language
  • DJVU
  • English
  • Year: 1996
  • Author: Moore J.S.
A computational logic
  • DJVU
  • English
  • Year: 1979
  • Author: Robert S. Boyer, J.Strother Moore
A computational logic
  • DJVU
  • English
  • Year: 1979
  • Author: Robert S. Boyer, J.Strother Moore
A Computational Logic Handbook
  • PDF
  • English
  • Year: 1988
  • Author: Robert S. Boyer, J Strother Moore
A Computational Logic Handbook
  • DJVU
  • 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.)
Livre de la colonisation de l'Islande
  • PDF
  • French
  • Author: Boyer
Théorie de la régulation
  • PDF
  • French
  • Year: 2000
  • Author: Boyer
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings
  • DJVU
  • English
  • Year: 1990
  • Author: Robert S. Boyer, J Strother Moore (auth.), Mark E. Stickel (eds.)
search