Výsledky vyhledávání

1

Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation /

Vydáno 1989

Kniha

2

Computability & unsolvability /

Autor Davis, Martin, 1928-2023
Vydáno 1982

Kniha

3

Computing and logic : mathematics and language /

Autor Satty, Glenn, Blakeley, Thomas J., 1931-1989, Colbert, James G.
Vydáno 1988

Kniha

4

Logic for mathematics and computer science /

Autor Burris, Stanley N.
Vydáno 1998

Kniha

5

Logic for problem solving /

Autor Kowalski, Robert, 1941-
Vydáno 1979

Kniha

6

Logic in computer science : modelling and reasoning about systems /

Autor Huth, Michael, 1962-, Ryan, Mark, 1955-
Vydáno 2000

Kniha

7

Logic, language and computation. Vol. 3 /

Vydáno 2000

Kniha

8

Logic of computation /

Vydáno 1997

Kniha

9

The logic of epistemology and the epistemology of logic : selected essays /

Autor Hintikka, Jaakko, 1929-, Hintikka, Merrill B., 1939-
Vydáno 1989

Kniha

10

The logic of partial information /

Autor Nait Abdallah, Areski
Vydáno 1995

Kniha

11

Logic of programming and calculi of discrete design /

Vydáno 1987

Kniha

12

The logic of typed feature structures : with applications to unification grammars, logic programs and constraint resolution /

Autor Carpenter, Bob.
Vydáno 1992

Kniha

13

Logic Programming /

Vydáno 1982

Kniha

14

Handbook of logic in computer science. Vol. 1, Background: mathematical structures /

Vydáno 1992

Kniha

15

Instantiation theory : on the foundations of automated deduction /

Autor Williams, J. G.
Vydáno 1991

Kniha

16

Logic : mathematics, language, computer science and philosophy. Vol. 2, Logic and computer science /

Autor Swart, H. C. M. de 1944-
Vydáno 1994

Kniha

17

Logic from computer science : proceedings of a workshop held November 13-17, 1989 /

Vydáno 1991

Kniha

18

Proceedings ... annual IEEE Symposium on Logic in Computer Science

Vydáno 1986

Periodikum

19

A proof theory for general unification /

Autor Snyder, Wayne
Vydáno 1991

Kniha

20

Temporal logic and state systems /

Autor Kröger, Fred, 1945-, Merz, Stephan, 1963-
Vydáno 2008

Kniha

Upřesnit hledání