Extending Elementary Formal Systems.

Steffen Lange Gunter Grieser Klaus P. Jantke

Published in: ALT (2001)

Keyphrases

formal methods
databases
multi agent
artificial intelligence
image segmentation
image sequences
data structure
natural language
digital libraries
information technology
management system
distributed systems
intelligent systems
computer systems
building blocks
complex systems