Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Edward Suen
Tableau-Based Theorem Proving for Representation and Reasoning.
Related publications
Formal Reasoning About Systems Biology Using Theorem Proving
PLoS ONE
Multidisciplinary
A Tableau-Based Federated Reasoning Algorithm for Modular Ontologies
Resolution-Based Theorem Proving for Many-Valued Logics
Journal of Symbolic Computation
Computational Mathematics
Number Theory
Algebra
Cryptographically Sound Theorem Proving
Herbrand’s Theorem for Prenex Gödel Logic and Its Consequences for Theorem Proving
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Logic-Based Representation, Reasoning and Machine Learning for Event Recognition
SMTtoTPTP – A Converter for Theorem Proving Formats
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Proof Simplification and Automated Theorem Proving
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Mathematics
Engineering
Astronomy
Physics
Reasoning, Proof and Proving in Mathematics Education
