Completeness with Finite Systems of Intermediate Assertions for Recursive Program Schemes.

Krzysztof R. Apt Lambert G. L. T. Meertens

Published in: SIAM J. Comput. (1980)

Keyphrases

management system
complex systems
artificial intelligence
mobile robot
intelligent systems
building blocks
computer programs
computer vision
decision making
knowledge base
wireless sensor networks
distributed systems
knowledge based systems
learning systems
retrieval systems
intermediate level