B4a-d - Wildern VLE
B - arl.wustl.edu
axioms
Axiomatic Set Teory P.D.Welch.
Available on-line - Gert
Automated Deduction
Automata-Theoretic Model Checking Lili Anne Dworkin Advised by Professor Steven Lindell
Automata, Languages, and Programming
Automata vs. Logics on Data Words
Automata theory
Automata for the modal µ-calculus and related results
Automata and formal languages ∗
Autoepistemic Logic and Introspective Circumscription
author`s
Attributive concept descriptions with complements
ATL with Strategy Contexts and Bounded Memory
Atheism, College Students, and the Logic behind God
Assumption/guarantee specifications in linear-time
Assumption-Based Argumentation with Preferences
Assumption Sets for Extended Logic Programs
