Provability: the emergence of a mathematical modality.

George Boolos Giovanni Sambin

Published in: Stud Logica (1991)

Keyphrases

multi modal
medical images
mathematical knowledge
databases
mathematical proofs
similarity measure
high level
database systems
metadata
expert systems
multiresolution
information systems
real world
mathematical models
small world
mathematical theory
mathematical expressions
neural network
database