Font Size: a A A
Keyword [Theorem Proving]
Result: 1 - 20 | Page: 1 of 4
1. Constraint Solving And Formal Verification With MSVL
2. Approximate Reasoning—Investigation Of Polynomial Algebraic Dynamic Logic
3. Lattice-Valued Logical System And Automated Reasoning Based On Lattice Implication Algebra
4. Formal Theories And Methods For Security Protocol Analysis
5. The Research On The Extension Rule Based Theorem Proving
6. IGeo: A Theorem Prover Of The Intelligent Geometry Software
7. The Parallel Algorithm Research Of Mechanical Geometry Theorem Proving
8. Formalizing Type Safety Of The Java Virtual Machine
9. The Formal Verification Techniques For The Timed System Using Timed Automata
10. Formal Verification Technology For Object-Oriented Software
11. Study On Algebra Methods For Cryptographic Protocol Verification
12. Research On Some Automated Reasoning Methods For Logic
13. Research On Visually Dynamic Presentation Of Proofs In Plane Geometry
14. Internet Of Things Sensor Network Security Protocol
15. Study On The Application Of Formal Verification
16. Program Synthesis Based On General Resolution
17. Exploitation And Application Of Mizar Language
18. Design And Implementation Of Program Synthesis Based On Resolution Principle
19. The Constructions Of A Parallel Interactive Theorem Prover
20. Research On Automatic Theorem Proving Based On Grid Computation
  <<First  <Prev  Next>  Last>>  Jump to