QR kód

MICRO-PROLOG. PROGRAMMING IN LOGIC /

Uložené v:

Podrobná bibliografia
Hlavný autor:	Clark, Keith L.
Ďalší autori:	Maccabe, Frank G.
Médium:	Kniha
Jazyk:	English
Vydavateľské údaje:	Englewood Cliffs : Prentice-Hall International, 1984
On-line prístup:
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Podobné jednotky

Prolog versus you. An introduction to logic programming /
Autor: Johansson, Anna-Lena
Vydavateľské údaje: (1989)

MICRO-PROLOG. EINE EINFÜHRUNG IN DAS PROGRAMMIEREN /
Autor: Petersohn, Uwe
Vydavateľské údaje: (1988)

PRODUCTIVE PROLOG PROGRAMMING /
Autor: Schnupp, Peter
Vydavateľské údaje: (1986)

VVEDENIJE V LOGIČESKOJE PROGRAMMIROVANIJE NA MIKRO-PROLOGE /
Autor: Clark, Keith L.
Vydavateľské údaje: (1987)

PROLOG. PROGRAMMING FOR ARTIFICIAL INTELLIGENCE /
Autor: Bratko, Ivan 1946-
Vydavateľské údaje: (1986)

Prolog /
Autor: Klužniak, Feliks
Vydavateľské údaje: (1983)

Prolog /
Autor: Polák, Jiří
Vydavateľské údaje: (1992)

THE LOGIC OF PROGRAMMING /
Autor: Hehner, Eric C. R.
Vydavateľské údaje: (1984)

MICROPROCESSORS AND PROGRAMMED LOGIC /
Autor: Short, Kenneth L.
Vydavateľské údaje: (1987)

PROLOG MULTIPROCESSORS /
Autor: Wise, Michael J.
Vydavateľské údaje: (1986)

Turbo Prolog /
Autor: Foukal, Ladislav
Vydavateľské údaje: (1989)

FROM LOGIC DESIGN TO LOGIC PROGRAMMING /
Autor: Snyers, Dominique
Vydavateľské údaje: (1987)

Le langage PROLOG. Exemples en Turbo Prolog /
Autor: Legrand, Jacky
Vydavateľské údaje: (1992)

FOUNDATIONS OF LOGIC PROGRAMMING /
Autor: Lloyd, John Wylie
Vydavateľské údaje: (1984)

ALGEBRAIC AND LOGIC PROGRAMMING /
Autor: Bergstra, J. A.
Vydavateľské údaje: (1988)

Temporal logic of programs /
Autor: Kröger, Fred
Vydavateľské údaje: (1987)

Negation and control in Prolog /
Autor: Naish, Lee
Vydavateľské údaje: (1986)

A PROLOG PRIMER /
Autor: Rogers, Jean B.
Vydavateľské údaje: (1986)

Prolog und Linguistik /
Autor: Lehner, Christoph
Vydavateľské údaje: (1990)

PROGRAMMIEREN MIT PROLOG /
Autor: Geske, Ulrich
Vydavateľské údaje: (1988)

Logic of programs : workshop, ETH Zürich, May-July 1979 /
Autor: Kozen, Dexter
Vydavateľské údaje: (1981)

Deductive databases and logic programming /
Autor: Das, Subrata Kumar
Vydavateľské údaje: (1992)

Mathematical logic and programming languages /
Autor: Kowalski, R.
Vydavateľské údaje: (1985)

Studies in automatic programming logic /
Autor: Manna, Zohar
Vydavateľské údaje: (1977)

Programming of small logic controllers /
Autor: Fedor, Pavol 1932-
Vydavateľské údaje: (2001)

6800 programming for logic design /
Autor: Osborne, Adam
Vydavateľské údaje: (1977)

BUILDING EXPERT SYSTEMS IN PROLOG /
Autor: Merritt, Dennis
Vydavateľské údaje: (1989)

Eine relationale PROLOG-Semantik /
Autor: Weingärtner, Josef
Vydavateľské údaje: (1989)

PROGRAMMIROVANIJE NA JAZYKE PROLOG /
Autor: Clocksin, William F.
Vydavateľské údaje: (1987)

Programování v jazyku Prolog /
Autor: Jirků, Petr
Vydavateľské údaje: (1991)

Programovací jazyk PROLOG : Učební text kursu /
Autor: Babka, Otakar, a ďalší
Vydavateľské údaje: (1989)

Extensions of logic programming : Proceedings, Tübingen, FRG, Dec. 8 - 10, 1989 /
Autor: Andreoli, Jean-Marc
Vydavateľské údaje: (1991)

Algebraic and logic programming : Proceedings, Aachen, Germany, Sept. 25 - 27, 1996 /
Autor: Pierro, Alessandra Di
Vydavateľské údaje: (1996)

A programming logic with an introduction to the PL/CV verifier /
Autor: Constable, Robert L.
Vydavateľské údaje: (1978)

Introduction to artificial intelligence through Prolog /
Autor: Novak, George J.
Vydavateľské údaje: (1994)

Riešenie úloh v jazyku PROLOG /
Autor: Adámy, Miroslav
Vydavateľské údaje: (1990)

Professionelles Programmieren mit Turbo Prolog /
Autor: Kinnebrock, Werner
Vydavateľské údaje: (1988)

Prolog programming. Applications for database systems, expert systems, and natural language systems /
Autor: Marcus, Claudia
Vydavateľské údaje: (1986)

LOGIC PROGRAMMING 87 : PROCEEDINGS OF THE 6TH CONFERENCE, Tokyo, Japan, June 22-24, 1987 /
Autor: Jaffer, Joxan
Vydavateľské údaje: (1988)

Logic program synthesis and transformation : Proceedings, Utrecht, The Netherlands, Sept. 20 - 22, 1995 /
Autor: Leuschel, Michael
Vydavateľské údaje: (1996)