Výsledky vyhledávání - "computer science"

Preferované termíny:

MEMICS (konference), Gesellschaft für Informatik, DIMACS (skupina), Hochschule Zittau/Görlitz. Fakultät Elektrotechnik und Informatik, Stockholms universitet. Institutionen för numerisk analys och datalogi, DMTCS 2003 (Dijon, Francie), Univerzita Karlova. Informatický ústav, RelMiCS 2001 (Oisterwijk, Nizozemsko), CALCO (konference) (2005 : Swansea, Wales), CALCO (konference) (2007 : Bergen, Norsko), Helsingin yliopisto. Tietojenkäsittelytieteen osasto, MCU 2004 (Petrohrad, Rusko), LFCS 2007 (New York, New York), Kyjivs‘kyj nacìonal‘nyj unìversytet ìmenì Tarasa Ševčenka. Fakul‘tet komp‘juternych nauk ta kìbernetyky, Slezská univerzita. Ústav informatiky, DIMATIA, SOFSEM (konference), lékařská informatika

Související termíny:

European Association for Computer Science Logic. Conference, Fachtagung über Graphentheoretische Konzepte der Informatik, International Workshop WG, Workshop on Computer Science Logic, International Conference on Relational Methods in Computer Science, International Seminar on Relational Methods in Computer Science, Italian Conference on Theoretical Computer Science, International Computer Science Symposium in Russia

1

Obálka

Logic for mathematics and computer science /

Autor Burris, Stanley N.
Vydáno 1998

Témata: '; “...computer science...”

Kniha

2

Obálka

Logic for problem solving /

Autor Kowalski, Robert, 1941-
Vydáno 1979

Témata: '; “...computer science...”

Kniha

3

Obálka

Logic in computer science : modelling and reasoning about systems /

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

Témata: '; “...computer science...”

Kniha

4

Obálka

Logic, language and computation. Vol. 3 /

Vydáno 2000

Témata: '; “...computer science...”

Kniha

5

Obálka

Logic of computation /

Vydáno 1997

Témata: '; “...computer science...”

Kniha

6

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: '; “...computer science...”

Kniha

7

Obálka

The logic of partial information /

Autor Nait Abdallah, Areski
Vydáno 1995

Témata: '; “...computer science...”

Kniha

8

Obálka

Logic of programming and calculi of discrete design /

Vydáno 1987

Témata: '; “...computer science...”

Kniha

9

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: '; “...computer science...”

Kniha

10

Obálka

Logic Programming /

Vydáno 1982

Témata: '; “...computer science...”

Kniha

11

Obálka

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

Vydáno 1992

Témata: '; “...computer science...”

Kniha

12

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: '; “...computer science...”

Kniha

13

Obálka

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

Vydáno 1991

Témata: '; “...computer science...”

Kniha

14

Obálka

A proof theory for general unification /

Autor Snyder, Wayne
Vydáno 1991

Témata: '; “...computer science...”

Kniha

15

Obálka

Instantiation theory : on the foundations of automated deduction /

Autor Williams, J. G.
Vydáno 1991

Témata: '; “...computer science...”

Kniha

16

Obálka

Computation and reasoning : a type theory for computer science /

Autor Luo, Zhaohui
Vydáno 1994

Témata: '; “...computer science...”

Kniha