Logic programming /

Logic programming /

57

Библиографические подробности
Главные авторы:	Lassez, Jean-Loius, International Conference on Logic Programming (4th : 1987 : University of Melbourne)
Формат:
Опубликовано:	Cambridge : MIT Pr, 1987
Предметы:	Logic programming

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

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

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

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

Logic programming : 23rd international conference, ICLP 2007, Porto, Portugal, September 8-13, 2007 ; proceedings /
по: 474083 International Conference on Logic Programming (23rd : 2007 : Porto, Portugal), и др.
Опубликовано: (2007)

Fuji International Workshop on Functional and Logic Programming, Susono, Japan, July 17-19, 1995 /
по: Fuji International Workshop on Functional and Logic Programming (1995 : Susono, Japan), и др.
Опубликовано: (1995)

Logic, methodology and philosophy of science IV : proceedings /
по: International Congress for Logic, Methodology and Philosophy of Science (4th : 1971 : Bucharest, Rumania), и др.
Опубликовано: (1973)

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

Recent Advances in Constraints [electronic resource] : 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers. /
по: ERCIM International Workshop on Constraint Solving and Constraint Logic Programming (11th : 2006 : Caparica, Portugal), и др.
Опубликовано: (2007)

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)

Logic programming : formal methods and practical applications /
по: Beierle, Christoph, и др.
Опубликовано: (1995)

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

Mathematical logic /
по: Brazilian Conference on Mathematical Logic (1977 : States University of Campinas, Brazil), и др.
Опубликовано: (1978)

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)

Quantitative logic and soft computing : proceedings of the Ql&Sc 2012, Xi'an, China, 12-15 May 2012 /
по: International Conference on Quantitative Logic and Soft Computing (3rd : 2012 : Xi'an, China), и др.
Опубликовано: (2012)

Physics, logic and history
по: 472526 International Colloquium on Logic, Physical Reality and History, 1st., University of Denver, May 16-20, 1966
Опубликовано: (1970)

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

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

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

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

Proceedings of the international symposium on multiple-valued logic
по: 428863 International symposium on multiple-valued logic, 7th University of North Carolina, Charlotte, North Carolina, May 24-27, 1977

Proceedings of Logic Colloquium /
по: 467457 Logic Colloquium, и др.
Опубликовано: (1969)

Proceedings of the 1975 International Symposium on Multiple-Valued logic
по: 251123 International Symposium on Multiple-Valued Logic, 5th, Indiana University, May 13-16, 1975, и др.

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