Title of article
Special Issue on Calculemus-99: Integrating Computation and Deduction Foreword of the Guest Editors
Author/Authors
Alessandro Armando، نويسنده , , Tudor Jebelean، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2001
Pages
2
From page
303
To page
304
Journal title
Journal of Symbolic Computation
Serial Year
2001
Journal title
Journal of Symbolic Computation
Record number
805569
Link To Document