Special issue on calculemus-99: Integrating computation and deduction. Foreword of the guest editors

A. Armando; Tudor Jebelean

doi:10.1006/jsco.2001.0467

Special issue on calculemus-99: Integrating computation and deduction. Foreword of the guest editors

A. Armando
, Tudor Jebelean

Research Institute for Symbolic Computation

Research output: Contribution to journal › Editorial

Original language	English
Pages (from-to)	303-304
Number of pages	2
Journal	Journal of Symbolic Computation
Volume	32
Issue number	4
DOIs	https://doi.org/10.1006/jsco.2001.0467
Publication status	Published - Oct 2001

Fields of science

101 Mathematics

JKU Focus areas

Computation in Informatics and Mathematics

Access to Document

10.1006/jsco.2001.0467

Cite this

@article{14f9d35ec2fc4ba1aaf86f3d3898cf70,

title = "Special issue on calculemus-99: Integrating computation and deduction. Foreword of the guest editors",

author = "A. Armando and Tudor Jebelean",

year = "2001",

month = oct,

doi = "10.1006/jsco.2001.0467",

language = "English",

volume = "32",

pages = "303--304",

journal = "Journal of Symbolic Computation",

issn = "1095-855X",

publisher = "Elsevier BV",

number = "4",

}

TY - JOUR

T1 - Special issue on calculemus-99

T2 - Integrating computation and deduction. Foreword of the guest editors

AU - Armando, A.

AU - Jebelean, Tudor

PY - 2001/10

Y1 - 2001/10

UR - https://www.scopus.com/pages/publications/0035193295

U2 - 10.1006/jsco.2001.0467

DO - 10.1006/jsco.2001.0467

M3 - Editorial

SN - 1095-855X

VL - 32

SP - 303

EP - 304

JO - Journal of Symbolic Computation

JF - Journal of Symbolic Computation

IS - 4

ER -

Special issue on calculemus-99: Integrating computation and deduction. Foreword of the guest editors

Fields of science

JKU Focus areas

Access to Document

Other files and links

Cite this