Výsledky vyhledávání - "programování"

1

Axiomatising the Logic of Computer Programming /

Autor Goldblatt, Robert, 1949-
Vydáno 1982

Témata: '; “...logické programování...”

Kniha

2

The clausal theory of types /

Autor Wolfram, D. A.
Vydáno 1993

Témata: '; “...logické programování...”

Kniha

3

From logic design to logic programming : theorem proving techniques and P-functions /

Autor Snyers, Dominique, Thayse, André, 1940-
Vydáno 1987

Témata: '; “...logické programování...”

Kniha

4

From logic programming to Prolog /

Autor Apt, Krzysztof R., 1949-
Vydáno 1997

Témata: '; “...logické programování...”

Kniha

5

From logic to logic programming /

Autor Doets, Kees, 1941-
Vydáno 1994

Témata: '; “...logické programování...”

Kniha

6

Logic Programming and Databases /

Autor Ceri, Stefano, 1955-, Gottlob, Georg, 1956-, Tanca, Letizia.
Vydáno 1990

Témata: '; “...logické programování...”

Kniha

7

Logic, programming and Prolog /

Autor Nilsson, Ulf, 1948-2021, Małuszyński, Jan, 1941-
Vydáno 1990

Témata: '; “...logické programování...”

Kniha

8

Logic programming, functions, relations, and equations /

Autor DeGroot, Doug, Lindstrom, Gary
Vydáno 1986

Témata: '; “...logické programování...”

Kniha

9

$Obálka$

A logical approach to discrete math /

Autor Gries, David, 1939-, Schneider, Fred B., 1953-
Vydáno 1993

Témata: '; “...logické programování...”

Kniha

10

Logical dilemmas : the life and work of Kurt Gödel /

Autor Dawson, John W. 1944-
Vydáno 1997

Témata: '; “...logické programování...”

Kniha

11

Logical foundations of functional programming /

Vydáno 1990

Témata: '; “...logické programování...”

Kniha

12

Logical Introduction to Databases /

Autor Grant, John
Vydáno 1987

Témata: '; “...logické programování...”

Kniha

13

Logical reasoning with diagrams /

Vydáno 1996

Témata: '; “...logické programování...”

Kniha

14

The logical status of diagrams /

Autor Shin, Sun-Joo
Vydáno 1994

Témata: '; “...logické programování...”

Kniha

15

Logical structure and linquistic structure : cross-linquistic perspectives /

Vydáno 1992

Témata: '; “...logické programování...”

Kniha

16

Logics for concurrency : structure versus automata /

Vydáno 1996

Témata: '; “...logické programování...”

Kniha

17

Handbook of parallel constraint reasoning /

Vydáno 2018

Témata: '; “...logické programování...”

Kniha

18

Constraint Satisfaction in Logic Programming /

Autor Van Hentenryck, Pascal, 1963-
Vydáno 1989

Témata: '; “...logické programování...”

Kniha

19

Foundations of inductive logic programming /

Autor Nienhuys-Cheng, Shan-Hwei, Wolf, Ronald de
Vydáno 1997

Témata: '; “...logické programování...”

Kniha

20

Foundations of logic programming /

Autor Lloyd, J. W. 1947-
Vydáno 1984

Témata: '; “...logické programování...”

Kniha

Upřesnit hledání