Výsledky vyhledávání

101

Logic for applications /

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

Kniha

102

Logic for mathematics and computer science /

Autor Burris, Stanley N.
Vydáno 1998

Kniha

103

Logic for problem solving /

Autor Kowalski, Robert, 1941-
Vydáno 1979

Kniha

104

Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings /

Vydáno 2002

Kniha

105

Logic in computer science : modelling and reasoning about systems /

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

Kniha

106

Logic, language and computation. Vol. 3 /

Vydáno 2000

Kniha

107

Logic, Methodology and Philosophy of Science VII /

Vydáno 1986

Kniha

108

Logic of computation /

Vydáno 1997

Kniha

109

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

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

Kniha

110

The logic of partial information /

Autor Nait Abdallah, Areski
Vydáno 1995

Kniha

111

Logic of programming and calculi of discrete design /

Vydáno 1987

Kniha

112

Logic of programs : workshop, ETH Zürich, May-July 1979 /

Vydáno 1981

Kniha

113

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

Autor Carpenter, Bob.
Vydáno 1992

Kniha

114

Logic Programming /

Vydáno 1982

Kniha

115

Logic programming : 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings /

Vydáno 2001

Kniha

116

Logic programming : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedings /

Vydáno 2002

Kniha

117

Logic programming : proceedings of the 14th International Conference on Logic Programming

Vydáno 1997

Kniha

118

Logic Programming : proceedings of the 1990 North American Conference /

Vydáno 1990

Kniha

119

Logic Programming : proceedings of the 1991 International Symposium /

Vydáno 1991

Kniha

120

Logic Programming : proceedings of the 1994 International Symposium /

Vydáno 1994

Kniha

Upřesnit hledání