Artificial Intelligence, Automated Reasoning, and Symbolic Computation - Joint International Conference, AISC 2002 and Calculemus July 1-5 2002

J Calmet; B Benhamou; O Caprotti; L Henocque; Volker Sorge

Artificial Intelligence, Automated Reasoning, and Symbolic Computation - Joint International Conference, AISC 2002 and Calculemus July 1-5 2002

J Calmet, B Benhamou, O Caprotti, L Henocque, Volker Sorge

Computer Science

Research output: Book/Report › Book

Original language	English
Publisher	Springer
Volume	2385
Publication status	Published - 1 Jan 2002

Cite this

@book{040eefb63c074086b0f00e4ba65a1a44,

title = "Artificial Intelligence, Automated Reasoning, and Symbolic Computation - Joint International Conference, AISC 2002 and Calculemus July 1-5 2002",

author = "J Calmet and B Benhamou and O Caprotti and L Henocque and Volker Sorge",

year = "2002",

month = jan,

day = "1",

language = "English",

volume = "2385",

publisher = "Springer",

}

TY - BOOK

T1 - Artificial Intelligence, Automated Reasoning, and Symbolic Computation - Joint International Conference, AISC 2002 and Calculemus July 1-5 2002

AU - Calmet, J

AU - Benhamou, B

AU - Caprotti, O

AU - Henocque, L

AU - Sorge, Volker

PY - 2002/1/1

Y1 - 2002/1/1

M3 - Book

VL - 2385

BT - Artificial Intelligence, Automated Reasoning, and Symbolic Computation - Joint International Conference, AISC 2002 and Calculemus July 1-5 2002

PB - Springer

ER -