Open main menu
Home
Random
Log in
Settings
About GM-RKB
Disclaimers
GM-RKB
Search
High-Order Logic
Language
Watch
Edit
See:
First-Order Logic
;
Inductive Logic Programming
;
Learning from Structured Data
;
Propositional Logic
.
References
2011
(
Lloyd, 2011
) ⇒ John Lloyd. (
2011
). “High-Order Logic.” In: (
Sammut & Webb, 2011
) p.502