Search Modules I: Representation and Combination of ProofProcedures

  • Peterson, Donald (Principal Investigator)

Project Details

Short titleSearch Modules I: Representation and Combination of ProofProcedures
StatusFinished
Effective start/end date1/02/94 → 31/01/97

Funding

  • Engineering & Physical Science Research Council