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

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

Vydáno 1992

Kniha

5

Instantiation theory : on the foundations of automated deduction /

Autor Williams, J. G.
Vydáno 1991

Kniha

6

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

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

Kniha

7

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

Vydáno 1991

Kniha

8

A proof theory for general unification /

Autor Snyder, Wayne
Vydáno 1991

Kniha

9

Temporal logic and state systems /

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

Kniha

10

Logic in computer science /

Vydáno 2009

Kniha

11

Computability : computable functions, logic, and the foundations of mathematics /

Autor Epstein, Richard L., 1947-, Carnielli, Walter Alexandre, 1952-
Vydáno 2008

Kniha

12

Computation and reasoning : a type theory for computer science /

Autor Luo, Zhaohui
Vydáno 1994

Kniha

13

Three views of logic : mathematics, philosophy, and computer science /

Autor Loveland, Donald W., Hodel, Richard E., Sterrett, S. G.
Vydáno 2014

Kniha

14

Logic in computer science II /

Vydáno 2015

Kniha

15

Automata, graphs and logic /

Vydáno 2019

Kniha

Upřesnit hledání