In The Meaning Of Essentially Unprovable Theorems In The Presburger Theory Of Addition.

Giovanni Faglia Paul Young

Published in: Kurt Gödel Colloquium (1993)

Keyphrases

theoretical basis
three dimensional
real time
neural network
social networks
multiscale
natural language
expert systems
rough sets
theoretical framework
theoretical foundation
probability theory
speech acts
mathematical theory
formal theory
presburger arithmetic