Showing 50 items.
- Automated theorem proving (links | edit)
- Classification of finite simple groups (links | edit)
- Expert system (links | edit)
- Four color theorem (links | edit)
- First-order logic (links | edit)
- Gödel's ontological proof (links | edit)
- Integer (links | edit)
- Mathematics (links | edit)
- ML (programming language) (links | edit)
- Static program analysis (links | edit)
- Side effect (computer science) (links | edit)
- Precondition (links | edit)
- OCaml (links | edit)
- Type theory (links | edit)
- Philosophy of mathematics (links | edit)
- Gödel's incompleteness theorems (links | edit)
- Abstract interpretation (links | edit)
- Poplog (links | edit)
- Mathematical proof (links | edit)
- CycL (links | edit)
- Robin Milner (links | edit)
- Standard ML (links | edit)
- Interactive proof system (links | edit)
- Theorem prover (links | edit)
- Isabelle (proof assistant) (links | edit)
- HOL (proof assistant) (links | edit)
- Logic for Computable Functions (links | edit)
- Program analysis (links | edit)
- Case-based reasoning (links | edit)
- Hoare logic (links | edit)
- Division by zero (links | edit)
- Mizar system (links | edit)
- QED manifesto (links | edit)
- F Sharp (programming language) (links | edit)
- Euclid's Elements (links | edit)
- Formal verification (links | edit)
- French Institute for Research in Computer Science and Automation (links | edit)
- Model checking (links | edit)
- Pick's theorem (links | edit)
- Intuitionistic type theory (links | edit)
- CLIPS (links | edit)
- Inference engine (links | edit)
- Knowledge engineering (links | edit)
- Forward chaining (links | edit)
- Backward chaining (links | edit)
- Program slicing (links | edit)
- Coq (software) (links | edit)
- Calculus of constructions (links | edit)
- Conceptual system (links | edit)
- Extended ML (links | edit)