Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Rustam Zhumagambetov
Automated Theorem Proving in a Chat Environment
EasyChair Preprints
Related publications
Proof Simplification and Automated Theorem Proving
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Mathematics
Engineering
Astronomy
Physics
Automated Theorem Proving by Translation to Description Logic
EasyChair Preprints
Cryptographically Sound Theorem Proving
ELIOS-OBJ Theorem Proving in a Specification Language
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Theorem Proving in Higher Order Logics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
SMTtoTPTP – A Converter for Theorem Proving Formats
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Mechanical Theorem Proving in Tarski’s Geometry
The Complexity of Theorem-Proving Procedures
Comparing Unification Algorithms in First-Order Theorem Proving
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
