Two-variable Logic with Counting and a Linear Order.

Witold Charatonik Piotr Witkowski

Published in: CSL (2015)

Keyphrases

database
artificial intelligence
hidden markov models
neural network
real world
information systems
decision trees
face recognition
expert systems