An edition of Symbolic Computation and Automated Reasoning (2001)

Symbolic Computation and Automated Reasoning

The CALCULEMUS-2000 Symposium

by

Symbolic Computation and Automated Reasoning
Michael Kohlhase, Manfred Kerb ...
Locate

My Reading Lists:

Create a new list

Notes
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
January 30, 2024 | History
Edit
An edition of Symbolic Computation and Automated Reasoning (2001)

Symbolic Computation and Automated Reasoning

The CALCULEMUS-2000 Symposium

by

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
CRC Press LLC
Language
English

Check nearby libraries

Buy this book

Edition Availability
Cover of: Symbolic Computation and Automated Reasoning
Symbolic Computation and Automated Reasoning : The Calculemus-2000 Symposium
February 15, 2001, AK Peters
Hardcover in English
Cover of: Symbolic Computation and Automated Reasoning
Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium
2001, CRC Press LLC
in English
Cover of: Symbolic Computation and Automated Reasoning
Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium
2001, CRC Press LLC
in English

Add another edition?

Book Details

The Physical Object

Pagination
288

Edition Identifiers

Open Library
OL50617480M
ISBN 13
9780429064302

Work Identifiers

Work ID
OL9075619W

Source records

Better World Books record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
January 30, 2024 Created by ImportBot Imported from Better World Books record