Login / Signup

Investigations into Proof-Search in a System of First-Order Dependent Function Types.

David J. PymLincoln A. Wallen
Published in: CADE (1990)
Keyphrases
  • proof search
  • theorem prover
  • theorem proving
  • linear logic
  • artificial intelligence
  • object oriented
  • higher order
  • first order logic
  • neural network
  • search procedure