Suggested Topics within your search.
Suggested Topics within your search.
Artificial intelligence
2
Computer programming / software development
2
Computer networking & communications
1
Computer science
1
Databases
1
Defeasible reasoning
1
Discrete mathematics
1
Erotetic logic
1
Mathematical foundations
1
Programming & scripting languages: general
1
Proof theory
1
Sequent calculus
1
accusing
1
argumentation
1
burdens of proof
1
illocutionary acts
1
pragmatics
1
probative obligations
1
-
141by Mera, Sergio Fernando“... and that allows to analyze memory logics in terms of expressivity, complexity, interpolation and proof theory...”
Published 2009
Get full text
-
142