Symbolic computation and automated reasoning - Info and Reading Options
the CALCULEMUS-2000 Symposium
By CALCULEMUS-2000 Symposium (2000 St. Andrews, Scotland)
"Symbolic computation and automated reasoning" was published by A K Peters in 2001 - Natick, Mass, it has 270 pages and the language of the book is English.
“Symbolic computation and automated reasoning” Metadata:
- Title: ➤ Symbolic computation and automated reasoning
- Author: ➤ CALCULEMUS-2000 Symposium (2000 St. Andrews, Scotland)
- Language: English
- Number of Pages: 270
- Publisher: A K Peters
- Publish Date: 2001
- Publish Location: Natick, Mass
“Symbolic computation and automated reasoning” Subjects and Themes:
- Subjects: ➤ Congresses - Algebra - Data processing - Automatic theorem proving - Algebra, data processing - Algèbre - Congrès - Informatique - Théorèmes - Démonstration automatique - Computerwiskunde - Automatische bewijsvoering
Edition Specifications:
- Pagination: xi, 270 p. :
Edition Identifiers:
- The Open Library ID: OL22460392M - OL13590686W
- Online Computer Library Center (OCLC) ID: 606545348 - 45394021
- Library of Congress Control Number (LCCN): 00065015
- ISBN-10: 1568811454
- All ISBNs: 1568811454
AI-generated Review of “Symbolic computation and automated reasoning”:
Read “Symbolic computation and automated reasoning”:
Read “Symbolic computation and automated reasoning” by choosing from the options below.
Search for “Symbolic computation and automated reasoning” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Symbolic computation and automated reasoning” in Libraries Near You:
Read or borrow “Symbolic computation and automated reasoning” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Symbolic computation and automated reasoning” at a library near you.
Buy “Symbolic computation and automated reasoning” online:
Shop for “Symbolic computation and automated reasoning” on popular online marketplaces.
- Ebay: New and used books.