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

Publikation: Beitrag in Fachzeitschrift › Editorial

Originalsprache	Englisch
Seiten (von - bis)	303-304
Seitenumfang	2
Fachzeitschrift	Journal of Symbolic Computation
Volume	32
Ausgabenummer	4
DOIs	https://doi.org/10.1006/jsco.2001.0467
Publikationsstatus	Veröffentlicht - Okt. 2001

Wissenschaftszweige

@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 -