Labelled Deductive Systems, Volume 1, Dov M. Gabbay.

Geert-Jan M. Kruijff

Published in: J. Log. Lang. Inf. (1998)

Keyphrases

complex systems
management system
object oriented
website
distributed systems
information systems
building blocks
volume data