Login / Signup
A Diagrammatic Calculus of Syllogisms.
Ruggero Pagnan
Published in:
J. Log. Lang. Inf. (2012)
Keyphrases
</>
computer algebra
algebraic structure
automated deduction
database
databases
image processing
multiscale
evolutionary algorithm
formal language
proof procedure
provably correct
timed automata
relation algebra