-
1Academic Journal
Συγγραφείς: Новосельцев, Виталий Борисович
Πηγή: Известия Томского политехнического университета
Θεματικοί όροι: хорновские дизъюнкты, системы логического программирования, Пролог, формальная теория
Περιγραφή αρχείου: application/pdf
Relation: Известия Томского политехнического университета [Известия ТПУ]. 2008. Т. 312, № 5 : Управление, вычислительная техника и информатика; http://earchive.tpu.ru/handle/11683/2211
Διαθεσιμότητα: http://earchive.tpu.ru/handle/11683/2211
-
2Academic Journal
Πηγή: Известия Томского политехнического университета
Θεματικοί όροι: хорновские дизъюнкты, системы логического программирования, Пролог, формальная теория
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: http://earchive.tpu.ru/handle/11683/2211