Login / Signup

Logic and Computation (Panel).

Rohit Parikh

Published in: IFIP Congress (1986)

Keyphrases

multi valued
database
logic programming
modal logic
classical logic
image processing
defeasible logic