CALCULEMUS - Systems for Integrated Computation and Deduction
Sprache der Bezeichnung:
Englisch
Original Kurzfassung:
The Calculemus project is a european cooperation between research groups
in Germany, France, Italy, England, Scotland, the Netherlands, Poland,
and RISC from Austria with the goal to join the research areas of
Automated Theorem Proving and Computer Algebra.
Sprache der Kurzfassung:
Englisch
Englische Kurzfassung:
The Calculemus project is a european cooperation between research groups
in Germany, France, Italy, England, Scotland, the Netherlands, Poland,
and RISC from Austria with the goal to join the research areas of
Automated Theorem Proving and Computer Algebra.
Forschungs-