Normal view
MARC view
Moore, J. S (Personal Name)
Machine generated authority record
Work cat.: (NEDUET)744596: Kaufmann, Matt 779036, An Industrial Strength Theorem Prover for a Logic Based on Common lisp