Doporučená témata ve výsledcích tohoto hledání:
Zobrazuji výsledky 41 - 60 z 99 pro vyhledávání '"Logic Programming"', doba hledání: 0,04 s. Upřesnit hledání
  1. 41
    Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings /
    Konferenční příspěvek Kniha
    Vydáno 1994
    Témata: “…Logic programming Congresses.…”
    Přidat do oblíbených
    Uloženo v:
  2. 42
    Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings /
    Konferenční příspěvek Kniha
    Vydáno 1993
    Témata: “…Logic programming Congresses.…”
    Přidat do oblíbených
    Uloženo v:
  3. 43
    Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 24-28, 1995 : proceedings /
    Konferenční příspěvek Kniha
    Vydáno 1995
    Témata: “…Logic programming Congresses.…”
    Přidat do oblíbených
    Uloženo v:
  4. 44
    International Workshop on Inductive Logic Programming (ILP92) /
    Konferenční příspěvek Kniha
    Vydáno 1992
    Obsah: “… reasoning / Jantke, K. -- A personal approach to linguistics oriented inductive logic programming / Koch, G…”
    Přidat do oblíbených
    Uloženo v:
  5. 45
    Conclog : a methodological approach to concurrent logic programming /
    Kniha
    Autor Jacquet, J.-M. (Jean-Marie)
    Vydáno 1991
    Témata: “…Logic programming.…”
    Přidat do oblíbených
    Uloženo v:
  6. 46
    Proceedings of the Second International Logic Programming Conference, Uppsala University, Uppsala, Sweden, July 2-6, 1984 /
    Konferenční příspěvek Kniha
    Vydáno 1984
    Témata: “…Logic programming Congresses.…”
    Přidat do oblíbených
    Uloženo v:
  7. 47
    ALPUK 92 : proceedings of the 4th UK Conference on Logic Programming, London, 30 March-1 April 1992 /
    Konferenční příspěvek Kniha
    Vydáno 1993
    Témata: “…Logic programming Congresses.…”
    Přidat do oblíbených
    Uloženo v:
  8. 48
    Meta-programmming in logic : third international workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings /
    Konferenční příspěvek Kniha
    Vydáno 1992
    Témata: “…Logic programming Congresses.…”
    Přidat do oblíbených
    Uloženo v:
  9. 49
    Logic program synthesis and transformation-- Meta-programming in Logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-20, 1994 : proceedings /
    Konferenční příspěvek Kniha
    Vydáno 1994
    Témata: “…Logic programming Congresses.…”
    Přidat do oblíbených
    Uloženo v:
  10. 50
    Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 : proceedings /
    Konferenční příspěvek Kniha
    Vydáno 1986
    Témata: “…Logic programming Congresses.…”
    Přidat do oblíbených
    Uloženo v:
  11. 51
    Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 1993 : proceedings /
    Konferenční příspěvek Kniha
    Vydáno 1993
    Témata: “…Logic programming Congresses.…”
    Přidat do oblíbených
    Uloženo v:
  12. 52
    Non-monotonic extensions of logic programming : ICLP '94 workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers /
    Konferenční příspěvek Kniha
    Vydáno 1995
    Obsah: “… and Disjunctive Logic Programs: A Unifying Framework / T. C. Przymusinski -- Every Normal Program has a Nearly…”
    Přidat do oblíbených
    Uloženo v:
  13. 53
    Live data structures in logic programs : derivation by means of abstract interpretation /
    Kniha
    Autor Mulkers, Anne, 1960-
    Vydáno 1993
    Přidat do oblíbených
    Uloženo v:
  14. 54
    Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings /
    Konferenční příspěvek Kniha
    Vydáno 1991
    Témata: “…Logic programming Congresses.…”
    Přidat do oblíbených
    Uloženo v:
  15. 55
    Programming language implementation and logic programming : international workshop PLILP '90, Linköping, Sweden, August 20-22, 1990 : proceedings /
    Konferenční příspěvek Kniha
    Vydáno 1990
    Témata: “…Logic programming Congresses.…”
    Přidat do oblíbených
    Uloženo v:
  16. 56
    Programming languages implementation and logic programming : international workshop, PLILP '88, Orléans, France, May 16-18, 1988 : proceedings /
    Konferenční příspěvek Kniha
    Vydáno 1989
    Témata: “…Logic programming Congresses.…”
    Přidat do oblíbených
    Uloženo v:
  17. 57
    From logic design to logic programming : theorem proving techniques and P-functions /
    Kniha
    Autor Snyers, Dominique, 1959-
    Vydáno 1987
    Témata: “…Logic programming.…”
    Přidat do oblíbených
    Uloženo v:
  18. 58
    Programming language implementation and logic programming : 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings /
    Konferenční příspěvek Kniha
    Vydáno 1994
    Témata: “…Logic programming Congresses.…”
    Přidat do oblíbených
    Uloženo v:
  19. 59
    Logic grammars : with 40 illustrations /
    Kniha
    Autor Abramson, Harvey
    Vydáno 1989
    Témata: “…Logic programming.…”
    Přidat do oblíbených
    Uloženo v:
  20. 60
    Computing in Horn clause theories /
    Kniha
    Autor Padawitz, Peter, 1953-
    Vydáno 1988
    Témata: “…Logic programming.…”
    Přidat do oblíbených
    Uloženo v:
Vyhledávací nástroje: RSS – Poslat e-mailem – Uložit hledání