Logic program synthesis from incomplete information /

Logic program synthesis from incomplete information /

57

书目详细资料
主要作者:	380653 Flener, Pierre
格式:
出版:	Boston, Mass. : Kluwer Academic Publishers, 1995
主题:	Logic programming

相似书籍

A grammatical view of logic programming /
由: 307548 Deransart, Pierre, et al.
出版: (1993)

Logic programming /
由: Levi, Giorgio, et al.
出版: (1989)

Logic programming /
由: Lassez, Jean-Loius, et al.
出版: (1987)

Algebraic and logic programming /
由: Grabowski, J., et al.
出版: (1988)

Constructing logic programs /
由: Jacquet, J. M.
出版: (1993)

PROGRAMMING LOGIC AND DESIGN, COMPREHENSIVE /
由: Farrell, Joyce1, author
出版: (2018)

Programming Logic and Design : Comprehensive /
由: Farrell, Joyce., et al.
出版: (c200)

Programming logic and design : introductory /
由: Farrell, Joyce 171606
出版: (2002)

Programming logic and design, comprehensive /
由: Farrell, Joyce 171606
出版: (2002)

Programming logic and design : introductory /
由: Farrell, Joyce 171606
出版: (2008)

Programming logic and design, introductory /
由: Farrell, Joyce 171606
出版: (2008)

Programming logic and design, comprehensive /
由: Farrell, Joyce 171606
出版: (2008)

Logic programming : new frontiers /
由: Brough, D. R.
出版: (1992)

Logic Programming & Type Theory /
由: Singleton, Velva, author 640075, et al.
出版: (2012)

Programming logic and design, introductory version /
由: Farrell, Joyce, author
出版: (2014)

Programming logic and design, comprehensive version /
由: Farrell, Joyce 171606
出版: (2014)

Programming logic and design [electronics resource] /
由: Farrell, Joyce 171606
出版: (2008)

Digital logic simulation with CPLD programming /
由: 322760 Waterman, Steve
出版: (2003)

Programming logic and design [electronic resource] : introductory /
由: Farrell, Joyce 171606
出版: (2008)

Logic programming : formal methods and practical applications /
由: Beierle, Christoph, et al.
出版: (1995)

Logic programming : proceedings of the fifth international conference and symposium /
由: Kowalski, Robert, et al.
出版: (c198)

Multiprocessor execution of logic programs /
由: 444034 Gupta, Gopal
出版: (1994)

Java programs to accompany programming logic and design /
由: Smith, Jo Ann, author
出版: (c201)

Computing with logic : logic programming with Prolog /
由: 401449 Maier, David
出版: (1988)

Natural language understanding and logic programming, II /
由: International Workshop on Natural Language Understanding and Logic Programming (2nd : 1987 : Vancouver), et al.
出版: (1988)

Parallel logic programming /
由: 359152 Takeuchi, Akikazu
出版: (1992)

Foundations of logic programming /
由: 269625 Lloyd, J. W. (John Wylie), 1947-
出版: (1987)

Deductive databases and logic programming /
由: 354881 Das, Subrata Kumar
出版: (1992)

Logic programming : systematic program development /
由: 385113 Deville, Yves
出版: (1990)

An object-oriented approach to programming logic and design /
由: Farrell, Joyce 171606
出版: (c201)

Oreating coordination in logic grammers /
由: 307809 Dahl, Veronica, et al.

Probabilistic reasoning with incomplete and inconsistent beliefs /
由: Thimm, Matthias, author
出版: (2012)

The logic of programming /
由: 395286 Hehner, Eric C. R.
出版: (1984)

Digital logic simulation and CPLD programming /
由: 322760 Waterman, Steve
出版: (2000)

Logic programming : 23rd international conference, ICLP 2007, Porto, Portugal, September 8-13, 2007 ; proceedings /
由: 474083 International Conference on Logic Programming (23rd : 2007 : Porto, Portugal), et al.
出版: (2007)

Mathematical aspects of logic programming semantics /
由: Hitzler, Pascal 409791, et al.
出版: (c201)

Constraint logic programming using eclipse /
由: Apt, Krzysztof R., 1949-, et al.
出版: (2007)

Logic for computer scientists /
由: 316142 Schoning, Uwe
出版: (2008)

An introduction to default logic /
由: Besnard, Philippe
出版: (1989)

Digital logic simulation and CPLD programming with VHDL /
由: 322760 Waterman, Steve
出版: (2003)