検索結果

1

Logic and data bases /

出版事項 1978

会議録図書

2

Grammatical inference : learning automata and grammars /

著者: De la Higuera, Colin.
出版事項 2010

図書

3

Grammatical inference : theoretical results and applications : 10th international colloquium, ICGI 2010, Valencia, Spain, September 13-16, 2010 : proceedings /

著者: Sempere, José M.
出版事項 2010

会議録図書

4

Cognitive reasoning : a formal approach /

著者: Anshakov, Oleg., Gergely, Tamás.
出版事項 2010

図書

5

Symbolic computation and education /

出版事項 2007

図書

6

Mathematical logic.

著者: Cori, René., Lascar, Daniel.
出版事項 2000

図書

7

Grammatical inference : algorithms and applications : 8th international colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006 : proceedings /

出版事項 2006

Restricted to SpringerLink subscribers

会議録図書

8

An outline of set theory /

著者: Henle, James M.
出版事項 2007

図書

9

Funktion, Begriff, Bedeutung /

著者: Frege, Gottlob.
出版事項 2002

図書

10

Handbook of logic in computer science.

出版事項 1992

図書

11

Learning to reason : an introduction to logic, sets, and relations /

著者: Rodgers, Nancy.
出版事項 2000

図書

12

Handbook of logic in computer science.

出版事項 2000

図書

13

Philosophical grammar /

著者: Wittgenstein, Ludwig, 1889-1951.
出版事項 2005

図書

14

Logic from A to Z /

著者: Detlefsen, Michael, 1948-, Bacon, John B., McCarty, David Charles.
出版事項 1999

図書

15

Computability and logic /

著者: Boolos, George., Jeffrey, Richard C.
出版事項 1999

図書

16

Set theory and logic /

著者: Stoll, Robert Roth.
出版事項 1979

図書

17

Mathematische Logik mik Informatik-Anwendungen /

著者: Bergmann, Eberhard, 1941-, Noll, Helga, 1936-
出版事項 1977

図書

18

$表紙画像$

Euclid in the rainforest : discovering universal truth in logic and math /

著者: Mazur, Joseph.
出版事項 2005

図書

19

Kurt Gödel : das Album = the album /

著者: Sigmund, Karl, 1945-, Dawson, John William, 1974-, Mühlberger, Kurt, 1948-
出版事項 2006

図書

20

From Frege to Gödel : a source book in mathematical logic, 1879-1931 /

著者: Van Heijenoort, Jean.
出版事項 2002

図書

絞込み検索