Dictionary
Translation
Tools
Word list
Emoticon dictionary
Firefox search plugin
VDict bookmarklet
VDict on your site
About
About
FAQ
Privacy policy
Contact us
Options
Change Typing Mode
Delete history
View history
Tiếng Việt
Lookup
Lookup
Computing (FOLDOC)
English - Vietnamese
Vietnamese - English
Vietnamese - Vietnamese
Vietnamese - French
French - Vietnamese
Computing
English - English
Chinese - Vietnamese
Enter text to translate (200 characters maximum)
Translate now
Translate now
Search in:
Word
Vietnamese keyboard:
Off
Virtual keyboard:
Show
Translation
powered by
Computing (FOLDOC) dictionary
complete inference system
Jump to user comments
logic
An
inference
system A is complete with respect to
another system B if A can reach every conclusion which is true
in B. The dual to completeness is
soundness
.
(1998-07-05)
Related search result for
"complete inference system"
Words contain
"complete inference system"
in its definition in
Computing (FOLDOC) dictionary:
complete inference system
complete
sound
inference engine
symbolic inference
inference
Ceres workstation Oberon System
incremental constraint solver
Ontic
boundedly complete
more...
Comments and discussion on the word
"complete inference system"