Omitting Types in an Intermediate Logic.

Seyed Mohammad Bagheri Massoud Pourmahdian

Published in: Stud Logica (2011)

Keyphrases

image segmentation
modal logic
multi valued
database
social networks
neural network
information systems
multiscale
digital circuits