A Global Glance on Categories in Logic.

Peter Arndt Rodrigo de Alvarenga Freire Odilon Otavio Luciano Hugo Luiz Mariano

Published in: Logica Universalis (2007)

Keyphrases

logic programming
classical logic
neural network
genetic algorithm
search engine
bayesian networks
query language
digital circuits