Concept index
Symbols
βη-normal form 1022
λ calculus 896
θ-subsumption 674
A
A-ordering 1803
abnormality theory 1253
abstract consistency property 978
abstraction function 1759
AC-completion 578
AC-discrimination tree 1940
AC-rewriting 578
accessibility relation
ACI-uniflcation 485
adequacy of representations 1069
aggressive sharing 1867
algorithm
interior point 768
Simplex 764
almost monadic 1807
analytic cut 282
antiprenex normal form 352
attribute-based indexing 1857
autoepistemic logic (AEL) 1253 ...
Get Handbook of Automated Reasoning now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
