1
2
O'Regan, Gerard
2023
Table of Contents:
“... and Permutations and Combinations -- 9. A Short History of Logic -- 10. Propositional and Predicate Logic -- 11. Advanced Topics in Logic -- 12. Language Theory and Semantics -- 13. Automata Theory -- 14. Computability and Decidability -- 15. Software Reliability...”2023
Full text
4
Chen, Yixiang
2022
Table of Contents:
“...Program Logic -- Finite Quantified Linear Temporal Logic and its Satisfiability Checking -- Quantitative BAN Logic Based on Belief Degree -- Predicate Logic Network: Vision Concept Formation -- Approximate Simulation for Transition Systems with Regular...”2022
Full text
5
O'Regan, Gerard
2021
Table of Contents:
“... Theory -- 9. Cryptography -- 10. Coding Theory -- 11. Language Theory and Semantics -- 12. Computability and Decidability -- 13. A Short History of Logic -- 14. Propositional and Predicate Logic -- 15. Advanced Topics in Logic -- 16. Software Engineering...”2021
Full text
6
7
Chowdhary, K.R.
2020
Table of Contents:
“...Introducing Articial Intelligence -- Logic and Reasoning Patterns -- First Order Predicate Logic -- Rule Based Reasoning -- Logic Programming and Prolog -- Real-world Knowledge Representation -- Networks-based Representation -- State Space Search...”2020
Full text
8
Table of Contents:
“... for Modal Intuitionistic Dependence Logic -- Coalgebraic Predicate Logic: Equipollence Results and Proof Theory....”
Full text
Full text
9
Pfenning, Frank.
2013
Table of Contents:
“... Models -- Parameterized Weighted Containment -- Weighted Specifications over Nested Words -- An Algebraic Presentation of Predicate Logic -- Strategies as Profunctors -- Generalised Name Abstraction for Nominal Sets....”2013
Full text
10
O’Donnell, John
2006
Table of Contents:
“...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion -- Trees -- Logic -- Propositional Logic -- Predicate Logic -- Set Theory -- Set Theory -- Inductively Defined Sets -- Relations -- Functions -- Applications...”2006
Full text
11
13
Aleksander, Igor
1986
Table of Contents:
“... searching -- 7 AND/OR graphs -- 8 First order predicate logic -- 9 Future prospects for knowledge-based robots....”1986
Full text
15