The Axiom Scheme of Acyclic Comprehension.

Zuhair Al-Johar M. Randall Holmes Nathan J. Bowler

Published in: Notre Dame J. Formal Log. (2014)

Keyphrases

detection scheme
neural network
np hard
inference rules
classification scheme
genetic algorithm
information systems
multiscale
lower bound
np complete
database schemes