GPSS/H, SLX, proof: GPSS/H: a 23-year retrospective view.

James O. Henriksen Robert C. Crain

Published in: WSC (2000)

Keyphrases

theorem prover
probabilistic model
data sets
information systems
three dimensional
search algorithm
preprocessing
relational databases
viewpoint
proof planning