Note on a completeness theorem in the theory of counterfactuals.

Erik C. W. Krabbe

Published in: J. Philos. Log. (1978)

Keyphrases

von neumann
theoretical basis
information systems
artificial intelligence
database
real time
information retrieval
genetic algorithm
objective function
mathematical foundations