Antoine Augustin Calmet

Results: 1



#Item
1Linz / Antoine Augustin Calmet / Belaid / Michael Kohlhase / Research Institute for Symbolic Computation / Bruno Buchberger / Hagenberg im Mühlkreis / Buchberger

AISC 2004 7th International Conference on

Add to Reading List

Source URL: www.risc.jku.at

Language: English - Date: 2004-02-11 11:40:23
UPDATE