Calculemus systems for Intergrated Computation and deduction.

  • Kerber, Manfred (Principal Investigator)

Project Details

Short titleCalculemus systems for Intergrated Computation and deduction.
StatusFinished
Effective start/end date1/09/00 → 31/08/04

Funding

  • European Commission