Lógica simbólica para informáticos
保存先:
| 第一著者: | Iranzo, Pascual Julián (著者) |
|---|---|
| フォーマット: | 図書 |
| 言語: | スペイン語 |
| 出版事項: |
Cuernavaca
Alfaomega
2005
|
| 主題: | |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
類似資料
Lógica para informáticos
著者:: Farré Cirera, Rafel, 等
出版事項: (2012)
著者:: Farré Cirera, Rafel, 等
出版事項: (2012)
La lógica simbólica
著者:: Agazzi, Evandro
出版事項: (1986)
著者:: Agazzi, Evandro
出版事項: (1986)
Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG
著者:: Ledesma, Luis de
出版事項: (2010)
著者:: Ledesma, Luis de
出版事項: (2010)
Pruebas y refutaciones: la lógica del descubrimiento matemático
著者:: Lakatos, Imre
出版事項: (1982)
著者:: Lakatos, Imre
出版事項: (1982)
Introducción al simbolismo lógico
著者:: Bosch, Jorge E
出版事項: (1970)
著者:: Bosch, Jorge E
出版事項: (1970)
Popular lectures on mathematical logic
著者:: Wang, Hao
出版事項: (1993)
著者:: Wang, Hao
出版事項: (1993)
Logic colloquium
著者:: Parikh, Rohit
出版事項: (1975)
著者:: Parikh, Rohit
出版事項: (1975)
Lógica matemática.
著者:: Ferrater Mora, José
出版事項: (1962)
著者:: Ferrater Mora, José
出版事項: (1962)
Lógica simbólica: una breve introducción
著者:: Gómez Calderón, Javier
出版事項: (1979)
著者:: Gómez Calderón, Javier
出版事項: (1979)
La logique à l'école
著者:: Glaymann, Maurice, 等
出版事項: (1972)
著者:: Glaymann, Maurice, 等
出版事項: (1972)
Lógica simbólica
著者:: Hegenberg, Leónidas
出版事項: (1966)
著者:: Hegenberg, Leónidas
出版事項: (1966)
Lógica formal: su alcance y sus límites.
著者:: Jeffrey, Richard C.
出版事項: (1986)
著者:: Jeffrey, Richard C.
出版事項: (1986)
Introducción al simbolismo lógico
著者:: Bosch, Jorge E
出版事項: (1981)
著者:: Bosch, Jorge E
出版事項: (1981)
La structure algébrique des théories mathématiques
著者:: Henkin, Leon
出版事項: (1956)
著者:: Henkin, Leon
出版事項: (1956)
Sur les algèbres de Hilbert
著者:: Diego, Antonio
出版事項: (1966)
著者:: Diego, Antonio
出版事項: (1966)
Lógica combinatoria
著者:: Curry, Haskell B, 等
出版事項: (1967)
著者:: Curry, Haskell B, 等
出版事項: (1967)
Los fundamentos de la matemática y otros ensayos sobre lógica
著者:: Ramsey, Frank Plumpton
出版事項: (1968)
著者:: Ramsey, Frank Plumpton
出版事項: (1968)
Teaching mathematical reasoning in secondary school classrooms
著者:: Brodie, Karin
出版事項: (2010)
著者:: Brodie, Karin
出版事項: (2010)
Manual de lógica para estudiantes de matemáticas
著者:: Zubieta Russi, Gonzalo
出版事項: (1971)
著者:: Zubieta Russi, Gonzalo
出版事項: (1971)
An introduction to Hilbert space and quantum logic
著者:: Cohen, David W
出版事項: (1989)
著者:: Cohen, David W
出版事項: (1989)
Methods in mathematical logic
著者:: Prisco, C. A. di
出版事項: (1985)
著者:: Prisco, C. A. di
出版事項: (1985)
Lógica, lingüística y matemáticas
著者:: Serrano, Sebastián
出版事項: (1977)
著者:: Serrano, Sebastián
出版事項: (1977)
Eléments de logique mathématique: théorie des modèles
著者:: Kreisel, G, 等
出版事項: (1966)
著者:: Kreisel, G, 等
出版事項: (1966)
Algebra and logic
著者:: Crossley, J. N
出版事項: (1975)
著者:: Crossley, J. N
出版事項: (1975)
The grammar of mathematics
著者:: Durst, Lincoln K
出版事項: (1969)
著者:: Durst, Lincoln K
出版事項: (1969)
Lógica para lingüistas
著者:: Allwood, Jens, 等
出版事項: (1981)
著者:: Allwood, Jens, 等
出版事項: (1981)
A course in mathematical logic
著者:: Manin, Yuri Ivanovich
出版事項: (1977)
著者:: Manin, Yuri Ivanovich
出版事項: (1977)
Introduction to mathematical logic
著者:: Mendelson, Elliott
出版事項: (1997)
著者:: Mendelson, Elliott
出版事項: (1997)
Modal logics
著者:: Feys, Robert
出版事項: (1965)
著者:: Feys, Robert
出版事項: (1965)
Introduction a la logique mathématique
著者:: Novikov, P. S. (Petr Sergeevich)
出版事項: (1964)
著者:: Novikov, P. S. (Petr Sergeevich)
出版事項: (1964)
An algebraic introduction to mathematical logic
著者:: Barnes, Donald W, 等
出版事項: (1975)
著者:: Barnes, Donald W, 等
出版事項: (1975)
Symbolic logic and language: a programmed text
著者:: Dickoff, James, 等
出版事項: (1965)
著者:: Dickoff, James, 等
出版事項: (1965)
Mathematical Logic
著者:: Monk, James Donald
出版事項: (1976)
著者:: Monk, James Donald
出版事項: (1976)
Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications
出版事項: (1965)
出版事項: (1965)
Studies in foundations and combinatorics
著者:: Rota, Gian-Carlo
出版事項: (1978)
著者:: Rota, Gian-Carlo
出版事項: (1978)
Introducción a la lógica simbólica
著者:: Stahl, Gerold
出版事項: (1968)
著者:: Stahl, Gerold
出版事項: (1968)
類似資料
-
Lógica para informáticos
著者:: Farré Cirera, Rafel, 等
出版事項: (2012) -
La lógica simbólica
著者:: Agazzi, Evandro
出版事項: (1986) -
Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG
著者:: Ledesma, Luis de
出版事項: (2010) -
Pruebas y refutaciones: la lógica del descubrimiento matemático
著者:: Lakatos, Imre
出版事項: (1982) -
Introducción al simbolismo lógico
著者:: Bosch, Jorge E
出版事項: (1970)