Horn clause programs on abstract structures with parameters

ЗаглавиеHorn clause programs on abstract structures with parameters
Вид публикацияJournal Article
Година на публикуване1993
АвториSoskov I
СписаниеAnnuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique
Том84
Start Page53
IssueLivre 1 - Mathématiques
Pagination53-62
ISSN0205-0808
Прикачен файлРазмер
PDF icon 84-053-062.pdf1.84 MB

© Факултет по Математика и Информатика