Theories of Types and Proofs 1997 - Preface.

Mariangiola Dezani-Ciancaglini Mitsuhiro Okada Masako Takahashi

Published in: Theor. Comput. Sci. (2002)

Keyphrases

international workshop
real time
databases
decision making
data structure
expert systems
computational models
probability theory
causal reasoning