A Portable Logic Simulation System for Development of FLATS Machine.

Kentaro Shimizu

Published in: RIMS Symposia on Software Science and Engineering (1984)

Keyphrases

knowledge based systems
software engineering
development process
data sets
expert systems
logic programming
lightweight
databases
artificial intelligence
knowledge base
website
st century
automated reasoning