مرکز منطقه ای اطلاع رساني علوم و فناوري - Special Issue on Calculemus-99: Integrating Computation and Deduction Foreword of the Guest Editors

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 :

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 :