Documents found: 2 for the search: "automatic theorem proving"
sort results by: author - title - date of publication
- gallier,jean h. -- logic for computer science foundations of automatic theorem proving -- 1987 -- b
- gallier,jean h. -- logic for computer science foundations of automatic theorem proving -- 1987 -- b
1 - 2 of 2
execution time: 0.001 seconds
help - new search - home - عربي
Beta version |
Copyright © 2006 Iraqi National Library and Archive All rights reserved