Logic programming : formal methods and practical applications /

Logic programming : formal methods and practical applications /

57

Библиографические подробности
Главные авторы:	Beierle, Christoph, Plumer, Lutz
Формат:
Опубликовано:	Amsterdam : Elsevier, 1995
Предметы:	Logic programming

Схожие документы

Why prolog? : justifying logic programming for practical applications /
по: 206180 Lazarev, Gregory L.
Опубликовано: (1989)

Logic programming /
по: Levi, Giorgio, и др.
Опубликовано: (1989)

Logic programming /
по: Lassez, Jean-Loius, и др.
Опубликовано: (1987)

Algebraic and logic programming /
по: Grabowski, J., и др.
Опубликовано: (1988)

Constructing logic programs /
по: Jacquet, J. M.
Опубликовано: (1993)

PROGRAMMING LOGIC AND DESIGN, COMPREHENSIVE /
по: Farrell, Joyce1, author
Опубликовано: (2018)

Programming Logic and Design : Comprehensive /
по: Farrell, Joyce., и др.
Опубликовано: (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, и др.
Опубликовано: (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)

A grammatical view of logic programming /
по: 307548 Deransart, Pierre, и др.
Опубликовано: (1993)

Programming logic and design [electronic resource] : introductory /
по: Farrell, Joyce 171606
Опубликовано: (2008)

Java programs to accompany programming logic and design /
по: Smith, Jo Ann, author
Опубликовано: (c201)

Logic program synthesis from incomplete information /
по: 380653 Flener, Pierre
Опубликовано: (1995)

Logic programming : prolog and its applications [kasetvideo]/
по: 211032 Kowalski, Bob, и др.
Опубликовано: (1986)

Computing with logic : logic programming with Prolog /
по: 401449 Maier, David
Опубликовано: (1988)

Multiprocessor execution of logic programs /
по: 444034 Gupta, Gopal
Опубликовано: (1994)

Logic programming : proceedings of the fifth international conference and symposium /
по: Kowalski, Robert, и др.
Опубликовано: (c198)

A history of formal logic
по: 349422 Bochenski, Innocentius M.
Опубликовано: (1970)

Ancient formal logic /
по: 349422 Bochenski, Innocentius M.
Опубликовано: (1951)

Parallel logic programming /
по: 359152 Takeuchi, Akikazu
Опубликовано: (1992)

Foundations of logic programming /
по: 269625 Lloyd, J. W. (John Wylie), 1947-
Опубликовано: (1987)

Logic programming : systematic program development /
по: 385113 Deville, Yves
Опубликовано: (1990)

Natural language understanding and logic programming, II /
по: International Workshop on Natural Language Understanding and Logic Programming (2nd : 1987 : Vancouver), и др.
Опубликовано: (1988)

Deductive databases and logic programming /
по: 354881 Das, Subrata Kumar
Опубликовано: (1992)

An object-oriented approach to programming logic and design /
по: Farrell, Joyce 171606
Опубликовано: (c201)

On Galois correspondences in formal logic
по: Yim, A
Опубликовано: (2012)

The logic of programming /
по: 395286 Hehner, Eric C. R.
Опубликовано: (1984)

Teaching logic programming: a review
по: Serhiy O. Semerikov, и др.
Опубликовано: (2025-03-01)

Mathematical aspects of logic programming semantics /
по: Hitzler, Pascal 409791, и др.
Опубликовано: (c201)

Constraint logic programming using eclipse /
по: Apt, Krzysztof R., 1949-, и др.
Опубликовано: (2007)

Digital logic simulation and CPLD programming /
по: 322760 Waterman, Steve
Опубликовано: (2000)