Calculemus 2002 - 10th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning - Work in Progress Papers. July 3-5 2002

O Caprotti; Volker Sorge

Calculemus 2002 - 10th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning - Work in Progress Papers. July 3-5 2002

O Caprotti
, Volker Sorge

Computer Science

Research output: Book/Report › Book

Original language	English
Publisher	Fachbereich Informatik, Univ. des Saarlandes, Germany
Volume	SR-02-04
Publication status	Published - 1 Jan 2002

Cite this

@book{dffb49189783452ba6beaec8eb007618,

title = "Calculemus 2002 - 10th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning - Work in Progress Papers. July 3-5 2002",

author = "O Caprotti and Volker Sorge",

year = "2002",

month = jan,

day = "1",

language = "English",

volume = "SR-02-04",

publisher = "Fachbereich Informatik, Univ. des Saarlandes, Germany",

}

TY - BOOK

T1 - Calculemus 2002 - 10th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning - Work in Progress Papers. July 3-5 2002

AU - Caprotti, O

AU - Sorge, Volker

PY - 2002/1/1

Y1 - 2002/1/1

M3 - Book

VL - SR-02-04

BT - Calculemus 2002 - 10th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning - Work in Progress Papers. July 3-5 2002

PB - Fachbereich Informatik, Univ. des Saarlandes, Germany

ER -