Výsledky vyhledávání - "matematická logika"

Související termíny:

algebraická logika, formální logika, Gödelovy věty, Peanova aritmetika, fuzzy logika, kauzalita, kvantová logika, teorie modelů, vícehodnotová logika, logika

1

Obálka

Computing and logic : mathematics and language /

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

Témata: '; “...matematická logika...”

Kniha

2

Obálka

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

Vydáno 1986

Témata: '; “...matematická logika...”

Periodikum

3

Obálka

Logic for mathematics and computer science /

Autor Burris, Stanley N.
Vydáno 1998

Témata: '; “...matematická logika...”

Kniha

4

Obálka

Logic for problem solving /

Autor Kowalski, Robert, 1941-
Vydáno 1979

Témata: '; “...matematická logika...”

Kniha

5

Obálka

Logic in computer science : modelling and reasoning about systems /

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

Témata: '; “...matematická logika...”

Kniha

6

Obálka

Logic, language and computation. Vol. 3 /

Vydáno 2000

Témata: '; “...matematická logika...”

Kniha

7

Obálka

Logic of computation /

Vydáno 1997

Témata: '; “...matematická logika...”

Kniha

8

Obálka

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

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

Témata: '; “...matematická logika...”

Kniha

9

Obálka

The logic of partial information /

Autor Nait Abdallah, Areski
Vydáno 1995

Témata: '; “...matematická logika...”

Kniha

10

Obálka

Logic of programming and calculi of discrete design /

Vydáno 1987

Témata: '; “...matematická logika...”

Kniha

11

Obálka

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

Autor Carpenter, Bob.
Vydáno 1992

Témata: '; “...matematická logika...”

Kniha

12

Obálka

Logic Programming /

Vydáno 1982

Témata: '; “...matematická logika...”

Kniha

13

Obálka

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

Vydáno 1992

Témata: '; “...matematická logika...”

Kniha

14

Obálka

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

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

Témata: '; “...matematická logika...”

Kniha

15

Obálka

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

Vydáno 1991

Témata: '; “...matematická logika...”

Kniha

16

Obálka

A proof theory for general unification /

Autor Snyder, Wayne
Vydáno 1991

Témata: '; “...matematická logika...”

Kniha

17

Obálka

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

Témata: '; “...matematická logika...”

Kniha

18

Obálka

Logic in computer science /

Vydáno 2009

Témata: '; “...matematická logika...”

Kniha

19

Obálka

Logic in computer science II /

Vydáno 2015

Témata: '; “...matematická logika...”

Kniha

20

Obálka

Instantiation theory : on the foundations of automated deduction /

Autor Williams, J. G.
Vydáno 1991

Témata: '; “...matematická logika...”

Kniha