The theory of differentially closed fields in logics with cardinal quantifiers.

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

Keyphrases

data sets
theoretical framework
information systems
decision making
natural language
database
computer vision
computational model
classical logic
proof theory
databases
real world
social networks
theoretical basis
general theory
formal theory