Výsledky vyhledávání

1

Computational Logic : Essays in Honor of Alan Robinson /

Vydáno 1991

Kniha

2

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski. Pt. I /

Vydáno 2002

Kniha

3

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski. Pt. II /

Vydáno 2002

Kniha

4

Computational Logic and Proof Theory /

Vydáno 1993

Kniha

5

Categorical logic and type theory /

Autor Jacobs, Bart
Vydáno 1999

Kniha

6

Klasická logika /

Autor Štěpán, Jan, 1948-
Vydáno 2001

Kniha

7

Knowing and the mystique of logic and rules /

Autor Naur, Peter, 1928-2016
Vydáno 1995

Kniha

8

Logic for applications /

Autor Nerode, Anil, 1932-, Shore, Richard A., 1946-
Vydáno 1997

Kniha

9

Symbolic logic and mechanical theorem proving /

Autor Chang, Chin-Liang, Lee, Richard Char-Tung
Vydáno 1973

Kniha

10

Computer Science Logic : 21st International Workshop, CSL 2007 : 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings /

Vydáno 2007

Kniha

11

Logic, language, and computation : 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005 : Batumi, Georgia, September 12-16, 2005 : revised selected papers /

Vydáno 2007

Kniha

12

Temporal logic and state systems /

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

Kniha

13

Computer Science Logic : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006 : proceedings /

Vydáno 2006

Kniha

14

Computer Science Logic : 22nd International Workshop, CSL 2008 : 17th Annual Conference of the EACSL : Bertinoro, Italy, September 16-19, 2008 : proceedings /

Vydáno 2008

Kniha

15

Logic and its applications : third Indian Conference, ICLA 2009 : Chennai, India, January 7-11, 2009 : proceedings /

Vydáno 2009

Kniha

16

Alan Turing : his work and impact /

Vydáno 2013

Kniha

17

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

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

Kniha

18

Computational logic : IA008 /

Autor Popelínský, Lubomír
Vydáno 2018

Elektronická verze pro uživatele knihoven MU se specifickými nároky

Kniha

19

Computational logic : IA008. Grafická příloha /

Autor Popelínský, Lubomír
Vydáno 2019

Elektronická verze ke stažení:

Kniha

20

Computational logic : IA008 /

Autor Blumensath, Achim
Vydáno 2020

Elektronická verze pro uživatele knihoven MU se specifickými nároky

Kniha

Upřesnit hledání