Login / Signup
Switch Level Extension of a Logic Simulator.
András Jávor
Beatrix Katalin Szabó
Published in:
IMACS European Simulation Meeting (1984)
Keyphrases
</>
high speed
higher level
databases
lower level
levels of abstraction
artificial intelligence
query language
test bed
logical framework