Bookscovery
Search
Browse books
Books by author
Books by title
Books by popularity
My lists
Sign in
Sign up
Home
>
Authors
> Laurent Henocque
Laurent Henocque
All books by Laurent Henocque
(
Displaying 1 Book
)
Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Jacques Calmet
Looking for another book by Laurent Henocque?
Search for the book
by title.
