Logic and the Concept of God.

Stanislaw Krajewski Ricardo Silvestre

Published in: FLAP (2019)

Keyphrases

classical logic
information systems
logic programming
automated reasoning
set theory
predicate logic
formal logic
database
data sets
multi agent
data model
modal logic
concept learning
mathematical theory