‘Logische Programmierung’ 검색 결과

Kurs in Logischer Programmierung

Norbert E. Fuchs, 1990

Kurs in Logischer Programmierung

Norbert E. Fuchs, 1990

Einführung in die logische Programmierung mit PROLOG

Logische und Funktionale Programmierung

Ulrich Furbach, 1991

Logische und Funktionale Programmierung

Ulrich Furbach, 1991

Zur Logik der Logik-Programmierung

Clemens Beckstein, 1988 / 판 3개

Constraint-Programmierung

Thom ühwirth, Slim Abdennadher, 1997

Theorie der logischen Programmierung

Peter H. Schmitt, 1992

Deduktive Datenbanken

W. Bibel, Armin B. Cremers, Rudolf Kruse, 1994

Logic Programming

Dale Miller, 1993 / 판 2개

Constraint satisfaction in logic programming

Pascal Van Hentenryck, 1989

Programming with constraints

Kim Marriott, 1998 / 판 2개

Logic

Morton L. Schagrin, 1985 / 판 3개

Logik für Informatiker (Sav Informatik) (German Edition)

Uwe Schöning, 2000

Parallel logic programming

Evan Tick, 1991

Logic programming and non-monotonic reasoning

Luis Moniz Pereira, Anil Nerode, 1993 / 판 3개

Algebraic and logic programming

J. Grabowski, Pierre Lescanne, Wolfgang Wechler, 1988

Logic programming

Vijay Saraswat, Kazunori Ueda, 1991 / 판 2개

Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986

International Conference on Logic Programming. (3rd 1986 Imperial College of Science and Technology), 1986

Foundations of Logic and Functional Programming Workshop

Foundations of Logic and Functional Programming Workshop (1986 Trento, Italy), 1988