MathLib
LibMeta
Graph RAG
Lab
Blog
About
Team
RU
EN
LibMeta
/
Preece A.D.
IMT journal
Cited author
Person
Preece A.D.
http://libmeta.ru/resource/imt/cited_author/Preece_A_D
Входящие связи
← author · 2
Evaluation of Verification Tools for Knowledge-Based Systems
Verifying expert systems: a logical framework and a practical tool