Výsledky vyhľadávania - "Foundations of Logic Programming. Keywords"

  • Zobrazené výsledky 1 - 2 z 2
Upresniť hľadanie
  1. 1

    True Equality Constraints Over An Open Universe Of Terms

    Autori: Jan A. Plaza The Pennsylvania State University CiteSeerX Archives

    Prispievatelia: Jan A. Plaza The Pennsylvania State University CiteSeerX Archives

    Zdroj: http://faculty.plattsburgh.edu/jan.plaza/research/lp/papers/06A-equality.ps.

    Predmety: Area, Foundations of Logic Programming. Keywords, constraint logic programming, Herbrand models, equality, completeness, decidability

    Popis súboru: application/postscript

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.8.7116

    Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.8.7116
    http://faculty.plattsburgh.edu/jan.plaza/research/lp/papers/06A-equality.ps

    View record from BASE Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  2. 2

    On the Relationship Between Abduction and Deduction.

    Autori: CONSOLE, LUCA DUPRE, DANIELE THESEIDER TORASSO, PIETRO

    Zdroj: Journal of Logic & Computation; Jun1991, Vol. 1 Issue 5, p661-690, 30p

    Nájsť tento článok vo Web of Science
    Pridať do obľúbených

Vyhľadávacie nástroje: