Results 301 to 305 of about 17,772 (305)
Some of the next articles are maybe not open access.

A Technique for Establishing Completeness Results in Theorem Proving with Equality

SIAM Journal on Computing, 1983
exaly  

Resolution Theorem Proving

2006
Larry Wöß
exaly  

Theorem proving and software engineering

Software Engineering Journal, 1988
openaire   +1 more source

Labelled theorem proving for substructural logics

Lecture Notes in Computer Science, 2005
exaly  

Theorem proving

1976
openaire   +1 more source
theorem proving deduction, resolution, etc.
mathematics
4. education
computer science - logic in computer science
16. peace & justice
resolution
9. industry and infrastructure
mechanization of proofs and logical operations
7. clean energy
previous   29  30  31  

Home - About - Disclaimer - Privacy