On Bellissima's construction of the finitely generated free Heyting algebras, and beyond.

Luck Darnière Markus Junker

Published in: Arch. Math. Log. (2010)

Keyphrases

construction process
artificial intelligence
case study
digital libraries
generation process
database
data sets
data mining
information retrieval
genetic algorithm
bayesian networks
mobile robot
automatically generated
randomly selected