Журнал ИМТ
Цитируемая работаПубликацияДокумент
Verifying expert systems: a logical framework and a practical tool
http://libmeta.ru/resource/imt/cited_2000
Данные
| sourceNote | Expert systems with applications. 1992. Vol. 5. Pp. 421–436. |
| год | 1992 |
| language | en |
| bibliographicCitation | Preece A.D., Shinghal R., Batarekh A. Verifying expert systems: a logical framework and a practical tool // Expert systems with applications. 1992. Vol. 5. Pp. 421–436. |
Входящие связи
← цитирует · 2