Ajustar la búsqueda

Su búsqueda obtuvo 17 resultados.

Ordenar
Resultados
Lògica per representar el coneixement / Carles Garcia Amengual.

por Garcia Amengual, Carles | Universitat de les Illes Balears. Servei de Publicacions i Intercanvi Científic.

Series Materials didàctics ; 95.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: [Palma de Mallorca] : Universitat de les Illes Balears , 2002Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: Depósito - 160/GAR/log.

Exercicis i proves objectives de lògica per representar el coneixement / Carles Garcia Amengual.

por Garcia Amengual, Carles | Universitat de les Illes Balears. Servei de Publicacions i Intercanvi Científic.

Series Materials didàctics ; 97.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: [Palma de Mallorca] : Universitar de les Illes Balears , 2002Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: Depósito - 160/GAR/exe.

Algebraic logic

por Halmos, Paul R, (Paul Richard,), 1916-.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York : Chelsea Pub. Co, [1962]Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: Matemáticas - 512.563.6/HAL/alg.

Handbook of philosophical logic / edited by D. Gabbay and F. Guenthner

por Gabbay, Dov M, 1945- | Guenthner, F.

Series Synthese library ; 164 ;Tipo de material: Texto Texto Detalles de publicación: Dordrecht ; London : Kluwer Academic ; c1994Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (4)Ubicación, signatura topográfica: Matemáticas - 510.21/HAN, ...

El juego de la lógica y otros escritos / Lewis Carroll ; selección y prólogo de Alfredo Deaño

por Carroll, Lewis, 1832-1898 | Deaño Gamallo, Alfredo.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : El Libro de Bolsillo Alianza, [1972]Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: Matemáticas - 510.6/CAR/jue.

Lógica matemática y computabilidad / Juan Sancho de San Román

por Sancho de San Román, Juan.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Díaz de Santos, c1990Disponibilidad: Ítems disponibles para préstamo: 00. BIBLIOTECA CAMPUS DE ALGECIRAS (1)Ubicación, signatura topográfica: 510.6/SAN/log. 03. BIBLIOTECA INGENIERÍA PUERTO REAL (3)Ubicación, signatura topográfica: 510.6/SAN/log, ... Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: Matemáticas - 510.6/SAN/log.

Ensayo de lógica operatoria / Jean Piaget

por Piaget, Jean, 1896-1980.

Series Biblioteca pedagógicaTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Buenos Aires : Guadalupe, 1977Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (2)Ubicación, signatura topográfica: 16/PIA/ens, ...

Mathematical logic : an introduction to model theory / A.H. Lightstone, edited by H.B. Enderton

por Lightstone, Albert Harold | Enderton, Herbert Bruce.

Series Mathematical concepts and methods in science and engineering ; vol.9Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York ; London : Plenum Press, 1978Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: AIZ/326.

Logique mathématique / Jean François Pabion ; préf. de Marcel Guillaume

por Pabion, Jean François, 1942-.

Series Collection Méthodes | MathématiquesTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Paris : Hermann, c1976Disponibilidad: Ítems disponibles para préstamo: 07. BIBLIOTECA CIENCIAS SOCIALES Y JURÍDICAS (1)Ubicación, signatura topográfica: 510.6/PAB/log. Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: Matemáticas - 510.6/PAB/log.

Primer curso de logica matematica / Patrick Suppes, Shirley Hill ; version español de Enrique Lines Escardo

por Suppes, Patrick | Hill, Shirley A.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Barcelona : Reverte, 1978Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (3)Ubicación, signatura topográfica: Ma-103, ... Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: Matemáticas - 510.6/SUP/pri.

Fundamentos de lógica y teoría de la ciencia / Miguel A. Quintanilla

por Quintanilla, Miguel A.

Series Manuales universitarios (Universidad de Salamanca) ; 9Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Salamanca : Universidad de Salamanca, 1981Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: Depósito - 160.1/QUI/fun. 04. BIBLIOTECA CIENCIAS DE LA SALUD (1)Ubicación, signatura topográfica: 18.408/D.

Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee

por Chang, Chin-Liang | Lee, Richard Char-Tung.

Series Computer science and applied mathematicsTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: San Diego [etc.] : Academic Press, 1973Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/CHA/sym. 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-510.6/CHA/sym.

Simple games : desirability relations, trading, pseudoweightings / Alan D. Taylor and William S. Zwicker.

por Taylor, Alan D | Zwicker, William S.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Princeton (New Jersey) : Princeton University Press, cop. 1999Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: Depósito - 519.83/TAY/sim.

The Oxford handbook of philosophy of mathematics and logic / edited by Stewart Shapiro.

Series Oxford handbooks in philosophyTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Oxford ; New York : Oxford University Press, 2005Otro título: Philosophy of mathematics and logic.Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: 510.21/OXF.

Logic, proof, and set theory / by Marvin L. Bittinger

por Bittinger, Marvin L., (Marvin Lowell,), 1941-.

Edición: 2nd edTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Reading, MA ; London : Addison-Wesley, 1982Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: AIZ/658.

Studies in logic / by members of the Johns Hopkins University (1883), with an introduction by Max H. Fisch and a preface by Achim Eschbach

por Peirce, Charles S | Fisch, Max H | Eschbach, Achim.

Series Foundations of semiotics ; v.1Tipo de material: Texto Texto Detalles de publicación: Amsterdam : Benjamins, 1983Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: Depósito - 8/ 21.353. 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-46/1-210.

Pensamiento borroso : la nueva ciencia de la lógica borrosa / Bart Kosko ; traducción castellana de Juan Pedro Campos.

por Kosko, Bart | Campos, Juan Pedro [traductor].

Series DrakontosTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Barcelona : Crítica, D.L. 1995Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/KOS/pen.

Páginas

Con tecnología Koha