Risultati della ricerca - "Logic programming languages."

  1. 1
    Copertina

    Logic programming languages : constraints, functions, and objects / edited by K.R. Apt, J.W. de Bakker, and J.J.M.M. Rutten.

    Pubblicazione ©1993
    Libro

    Aggiungi alla lista
    Salvato in:
  2. 2
    Copertina

    The implementation of functional logic programming languages / Hendrik C.R. Lock.

    Pubblicazione 1993
    Libro

    Aggiungi alla lista
    Salvato in:
  3. 3
    Copertina

    The Gödel programming language / Patricia Hill, John Lloyd.

    Pubblicazione 1994
    Libro

    Aggiungi alla lista
    Salvato in:
  4. 4
    Copertina

    Foundations of probabilistic logic programming : languages, semantics, inference and learning / Fabrizio Riguzzi.

    Pubblicazione 2018
    Libro

    Aggiungi alla lista
    Salvato in:
  5. 5
    Copertina

    Parallel execution of Parlog / A. Cheese.

    Pubblicazione ©1992
    Libro

    Aggiungi alla lista
    Salvato in:
  6. 6
    Copertina

    Logic, language, formalism, informalism / Daniel Richardson.

    Pubblicazione 1995
    Libro

    Aggiungi alla lista
    Salvato in:
  7. 7
    Copertina

    Computational logic : logic programming and beyond / Antonis C. Kakas, Fariba Sadri (eds.).

    Pubblicazione c2002
    Libro

    Aggiungi alla lista
    Salvato in:
  8. 8
    Copertina

    Concurrent prolog : collected papers / edited by Ehud Shapiro ; with a foreword by Kazuhiro Fuchi.

    Pubblicazione 1987
    Libro

    Aggiungi alla lista
    Salvato in:
  9. 9
    Copertina

    Compiler design / Reinhard Wilhelm, Dieter Maurer ; translated by Stephen S. Wilson.

    Pubblicazione 1995
    Libro

    Aggiungi alla lista
    Salvato in:
  10. 10
    Copertina

    Extensions of logic programming : second international workshop, Stockholm, Sweden, January 27-29, 1991, proceedings / L.-H. Eriksson, L. Hallnäs, P. Schroeder-Heister (eds.).

    Pubblicazione ©1992
    Libro

    Aggiungi alla lista
    Salvato in:
  11. 11
    Copertina

    Mar cántico. [Con dibujos originales de la artista Marta Belmes.

    Pubblicazione 1970
    Libro

    Aggiungi alla lista
    Salvato in:
  12. 12
    Copertina

    Bibliographie des œuvres de Zénaïde Hippius = Zinaida Gippius, bibliografii︠a︡ / établie par Any Barda ; [publié par le Laboratoire de slavistique de Paris I].

    Pubblicazione 1975
    Libro

    Aggiungi alla lista
    Salvato in:
  13. 13
    Copertina

    Puspitasari, prawan Bali; gambar S. Har.

    Pubblicazione 1964
    Libro

    Aggiungi alla lista
    Salvato in:
  14. 14
    Copertina

    Disclaiming any right, title, or interest of the United States...

    Pubblicazione 1988
    Libro

    Aggiungi alla lista
    Salvato in:
  15. 15
    Copertina

    Programming languages : design and implementation / Terrence W. Pratt, Marvin V. Zelkowitz.

    Pubblicazione ©1996
    Libro

    Aggiungi alla lista
    Salvato in:
  16. 16
    Copertina

    Higher-order algebra, logic, and term rewriting : first international workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : selected papers / Jan Heering [and other...

    Pubblicazione ©1994
    Libro

    Aggiungi alla lista
    Salvato in:
  17. 17
    Copertina

    Formal semantics of natural language : papers from a colloquium sponsored by the King's College Research Centre, Cambridge / edited by Edward L. Keenan.

    Pubblicazione 1975
    Libro

    Aggiungi alla lista
    Salvato in:
  18. 18
    Copertina

    Contrapunto modal : manual prático / Any Raquel Carvalho.

    Pubblicazione 2000
    Libro

    Aggiungi alla lista
    Salvato in:
  19. 19
    Copertina

    Memory management : international workshop IWMM '92, St. Malo, France, September 17-19, 1992 : proceedings / Y. Bekkers, J. Cohen, eds.

    Pubblicazione ©1992
    Libro

    Aggiungi alla lista
    Salvato in:
  20. 20
    Copertina

    Meet the Nelsons! : the ANY years : issues 10-27, 1994-2001 / Wes Jones ; with bonus texts by Cynthia Davidson and Mohamed Sharif!.

    Pubblicazione ©2009
    Libro

    Aggiungi alla lista
    Salvato in:

Strumenti per la ricerca: