Журнал ИМТ
Цитируемая работаПубликацияДокумент
Evaluation of Verification Tools for Knowledge-Based Systems
http://libmeta.ru/resource/imt/cited_671
Данные
| sourceNote | Int. J. Hum.-Comput. Stud. 1997. V. 47. Рp. 629-658. |
| год | 1997 |
| language | en |
| bibliographicCitation | Preece A.D. Evaluation of Verification Tools for Knowledge-Based Systems / A.D Preece, S. Talbot, L. Vignollet // Int. J. Hum.-Comput. Stud. 1997. V. 47. Рp. 629-658. |
автор
Входящие связи
← ссылается на · 1