LDM: A Program Specification Support System.

Zsuzsa Farkas Péter Szeredi Edit Sántáné-Tóth

Published in: ICLP (1982)

Keyphrases

end users
databases
information systems
modelling language
neural network
real world
knowledge base
multi agent systems
knowledge management
formal specification