Որոնման արդյունքները - "Logic programming languages."

  1. 1
    Կազմի պատկեր

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

    Հրապարակվել է 2018
    Գիրք

    Պահել ցուցակում
    Պահպանված է:
  2. 2
    Կազմի պատկեր

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

    Հրապարակվել է 2018
    Գիրք

    Պահել ցուցակում
    Պահպանված է:
  3. 3
    Կազմի պատկեր

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

    Հրապարակվել է c1993
    Գիրք

    Պահել ցուցակում
    Պահպանված է:
  4. 4
    Կազմի պատկեր

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

    Հրապարակվել է ©1993
    Գիրք

    Պահել ցուցակում
    Պահպանված է:
  5. 5
    Կազմի պատկեր

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

    Հրապարակվել է c1993
    Գիրք

    Պահել ցուցակում
    Պահպանված է:
  6. 6
    Կազմի պատկեր

    Parallel execution of Parlog / A. Cheese.

    Հրապարակվել է ©1992
    Գիրք

    Պահել ցուցակում
    Պահպանված է:
  7. 7
    Կազմի պատկեր

    Parallel execution of Parlog / A. Cheese.

    Հրապարակվել է ©1992
    Գիրք

    Պահել ցուցակում
    Պահպանված է:
  8. 8
    Կազմի պատկեր

    Compiler design : virtual machines / Reinhard Wilhelm, Helmut Seidl.

    Հրապարակվել է c2010
    Գիրք

    Պահել ցուցակում
    Պահպանված է:
  9. 9
    Կազմի պատկեր

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

    Հրապարակվել է 2018
    Գիրք

    Պահել ցուցակում
    Պահպանված է:
  10. 10
    Կազմի պատկեր

    A denotational semantics for Parlog / by Lisa Ann Cremer.

    Հրապարակվել է 1991
    Գիրք

    Պահել ցուցակում
    Պահպանված է:
  11. 11
    Կազմի պատկեր

    Programming languages and operational semantics : a concise overview / Maribel Fernández.

    Հրապարակվել է 2014
    Գիրք

    Պահել ցուցակում
    Պահպանված է:
  12. 12
    Կազմի պատկեր

    Programming languages and operational semantics : a concise overview / Maribel Fernández.

    Հրապարակվել է 2014
    Գիրք

    Պահել ցուցակում
    Պահպանված է:
  13. 13
    Կազմի պատկեր

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

    Հրապարակվել է ©2002
    Գիրք

    Պահել ցուցակում
    Պահպանված է:
  14. 14
    Կազմի պատկեր

    Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski / Antonis C. Kakas, Fariba Sadri (eds.).

    Հրապարակվել է ©2002
    Գիրք

    Պահել ցուցակում
    Պահպանված է:
  15. 15
    Կազմի պատկեր

    Programming with constraints : an introduction / Kim Marriott and Peter J. Stuckey.

    Հրապարակվել է 1998
    Գիրք

    Պահել ցուցակում
    Պահպանված է:
  16. 16
    Կազմի պատկեր

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

    Հրապարակվել է ©1992
    Գիրք

    Պահել ցուցակում
    Պահպանված է:
  17. 17
    Կազմի պատկեր

    Concepts of programming languages / Robert W. Sebesta. Global contributions by Soumen Mukherjee, Arup Kumar Bhattacharjee.

    Հրապարակվել է 2016
    Գիրք

    Պահել ցուցակում
    Պահպանված է:
  18. 18
    Կազմի պատկեր

    Concepts of programming languages / Robert W. Sebesta.

    Հրապարակվել է ©2004
    Գիրք

    Պահել ցուցակում
    Պահպանված է:
  19. 19
    Կազմի պատկեր

    Concepts of programming languages / Robert W. Sebesta.

    Հրապարակվել է ©2006
    Գիրք

    Պահել ցուցակում
    Պահպանված է:
  20. 20
    Կազմի պատկեր

    Higher-order algebra, logic, and term rewriting : First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23- 24, 1993 : selected papers / Jan Heering [and oth...

    Հրապարակվել է ©1994
    Գիրք

    Պահել ցուցակում
    Պահպանված է:

Որոնման գործիքներ: