Výsledky vyhledávání

1

Logic for mathematics and computer science /

Autor Burris, Stanley N.
Vydáno 1998

Kniha

2

Logic for problem solving /

Autor Kowalski, Robert, 1941-
Vydáno 1979

Kniha

3

Logic in computer science : modelling and reasoning about systems /

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

Kniha

4

Logic, language and computation. Vol. 3 /

Vydáno 2000

Kniha

5

Logic of computation /

Vydáno 1997

Kniha

6

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

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

Kniha

7

The logic of partial information /

Autor Nait Abdallah, Areski
Vydáno 1995

Kniha

8

Logic of programming and calculi of discrete design /

Vydáno 1987

Kniha

9

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

Autor Carpenter, Bob.
Vydáno 1992

Kniha

10

Logic Programming /

Vydáno 1982

Kniha

11

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

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

Kniha

12

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

Vydáno 1991

Kniha

13

A proof theory for general unification /

Autor Snyder, Wayne
Vydáno 1991

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

Strojové odvozování a dokazování

Autor Hrůzová, Marie
Vydáno 1966

VŠ práce nebo rukopis

17

Úvod do Booleovy algebry a navrhování logických obvodů /

Autor Hoernes, G. E., Heilweil, M. F.
Vydáno 1969

Elektronická verze přístupná pouze pro studenty a pracovníky MU

Kniha

18

Rezoluční princip

Autor Kratochvílová, Jana
Vydáno 1977

VŠ práce nebo rukopis

19

Využití rezolučního principu ve strojovém dokazování

Autor Šrámková, Lubomíra
Vydáno 1977

VŠ práce nebo rukopis

20

Computation and reasoning : a type theory for computer science /

Autor Luo, Zhaohui
Vydáno 1994

Kniha

Upřesnit hledání