A. Armando, Tudor Jebelean,
"Calculemus: Integrating Computation and Deduction"
, in Journal of Symbolic Computation, 10-2001, ISSN: 1095-855X, A. Armando and T. Jebelean Special Issue of Journal of Symbolic Computation Vol 32, Nr. 4
Original Titel:
Calculemus: Integrating Computation and Deduction
Sprache des Titels:
Englisch
Journal:
Journal of Symbolic Computation
Erscheinungsmonat:
10
Erscheinungsjahr:
2001
Notiz zum Zitat:
A. Armando and T. Jebelean Special Issue of Journal of Symbolic Computation Vol 32, Nr. 4