Results 221 to 221 of about 76,775 (221)
Some of the next articles are maybe not open access.

SATCHMO: A Theorem Prover Implemented in Prolog

CADE, 1988
R. Manthey, François Bry
semanticscholar   +1 more source
computer science
programming language
mathematics
philosophy
artificial intelligence
theoretical computer science
parallel computing
mathematical analysis
logic programming
previous   21  22  23  

Home - About - Disclaimer - Privacy