Automated Reasoning First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings

You must be logged in to access this title.

Sign up now

Already a member? Log in

Synopsis

Book details

Edition:
2001
Series:
Lecture Notes in Computer Science (Book 2083)
Author:
Rajeev Gore, Alexander Leitsch, Tobias Nipkow
ISBN:
9783540457442
Related ISBNs:
9783540422549
Publisher:
Springer Berlin Heidelberg
Pages:
N/A
Reading age:
Not specified
Includes images:
No
Date of addition:
2022-07-29
Usage restrictions:
Copyright
Copyright date:
2001
Copyright by:
N/A 
Adult content:
No
Language:
English
Categories:
Computers and Internet, Mathematics and Statistics, Nonfiction, Philosophy