(In)completeness in specifications.

Vasu S. Alagar D. Kourkopoulos

Published in: Inf. Softw. Technol. (1994)

Keyphrases

recursive programs
formal proofs
artificial intelligence
decision trees
database
data sets
neural network
data mining
computer vision
information systems
website
user interface
mobile robot