Fraïssé-Hintikka theorem in institutions.

Daniel Gaina Tomasz Kowalski

Published in: J. Log. Comput. (2020)

Keyphrases

real world
von neumann
expert systems
real time
databases
data mining
genetic algorithm
objective function
digital topology