Universidad Nacional Autónoma de México
Facultad de Ciencias
Catálogo de la Biblioteca "Ricardo Monges López"

Refinar su búsqueda

Su búsqueda recuperó 35 resultados.

Ordenar
Resultados
Argumentacion cientifica y objetividad / Bernado Bolaños Guerra

por Bolaños Guerra, Bernardo [autor].

Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: México, D.F. : UNAM, Facultad de Filosofia y Letras, Programa de Maestria y Doctorado en Filosofia de la Ciencia : UDUAL, 2002Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q175.32R42 B65.

Bounded rationality : the adaptive toolbox / ed. by G. Gigerenzer and R. Selten

por Gigerenzer, Gerd [editor] | Selten, Reinhard [editor] | Massachusetts Institute of Technology.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Cambridge, Massachusetts : The MIT Press, 2001Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BF448 B68.

Case-based reasoning technology : from foundations to applications / Mario Lenz ... [y otros.] (eds.)

por Lenz, Mario [editor].

Series Lecture notes in computer science. Lecture notes in artificial intelligence ; 1400.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, c1998Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q338.8 C37.

Clausal form logic : An introduction to the logic of computer reasoning / Tom richards

por Richards, Tom [autor].

Series International computer science seriesTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Sydney : Addison-wesley, c1989Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76E95 R53.

Computational models of argument : proceedings of COMMA 2022 / edited by Francesca Toni, Sylwia Polberg, Richard Booth, Martin Caminada and Hiroyuki Kido

por COMMA (Conferencia) (9 : 2022 : Cardiff, Gales) | Toni, Francesca [editor] | Polberg, Sylwia [editor] | Booth, Richard [editor] | Caminada, Martin [editor] | Kido, Hiroyuki [editor].

Series Frontiers in artificial intelligence and applications ; 353Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: Amsterdam : IOS PRess, [2022]Otro título: COMMA 2022.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q334 C655 2022.

Distributed reason maintenance for multiagent systems / Gerhard K. Kraetzschmar

por Kraetzschmar, Gerhard K [autor].

Series Lecture notes in computer science. Lecture notes in artificial intelligence ; 1229.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, c1997Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76I58 K73.

Elementary logic for software development / Robert Lover

por Lover, Robert [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: London : Springer Verlag, c2008Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76D47 L69.

Elements of logical reasoning / Jan von Plato

por Von Plato, Jan [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Cambridge : Cambridge University Press, 2013Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 V65.

Enlightenment to enlightenment : intercritique of science and myth / Henri Atlan ; translated from the french by Lenn J. Schramm

por Atlan, Henri [autor] | Schramm, Lenn J [traductor] | State University of New York.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Albany, New York : State University of New York, c1993Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q175 A7513.

Formal methods in artificial intelligence / Allan ramsay

por Ramsay, Allan, 1953- [autor] | University of Cambridge.

Series Cambridge tracts in theoretical computer science ; 6Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Cambridge : Cambridge University Press, 1988Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q335 R35.

Inside case-based reasoning / Christopher K. Riesbeck, Roger C. Schank

por Riesbeck, Christopher K [autor] | Schank, Roger C, 1946- [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Hillsdale, New Jersey : Lawrence erlbaum, 1989Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q336 R54.

Knowledge representation and inductive reasoning using conditional logic and sets of ranking functions / Steven Kutsch

por Kutsch, Steven [autor].

Series Dissertations in Artificial Intelligence ; volume 350Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: Amsterdam, The Netherlands : Berlin : IOS Press B.V. ; Akademische Verlagsgesellschaft, [2021]Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q335 K89.

The limits of mathematics : a course on information theory and limits of formal reasoning / Gregory J. Chaitin

por Chaitin, Gregory J [autor].

Series Springer series in discrete mathematics and theoretical computer scienceTipo de material: Texto Texto; Forma literaria: No es ficción Idioma: ENG Editor: [New York] : Springer Verlag, c1998Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9M35 C43.

Logic : Form and function : The mechanization of dedctive reasoning / J. a. Robinson

por Robinson, John Alan [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: [new york] : North-holland, 1979Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC199.F61 R63.

Logic and visual information / Eric M. Hammer

por Hammer, Eric M, nacimiento 1967 [autor].

Series Studies in logic, language, and informationTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Stanford, California : [Dordrecht?] : CSLI ; FoLLI, c1995Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q387.2 H35.

Logic programming and non-monotonic reasoning : Proceedings of the second international workshop / Ed. by Luis moniz Pereira and anil nerode

por Pereira, Luís Moniz [editor] | Nerode, Anil, 1932- [editor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Cambridge, massachusetts : The MIT Press, c1993Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.63 L655 1993, ...

Logic programming and nonmonotonic reasoning : 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 1999 : proceedings / MIchael Gelfond, Nicola Leone, Gerald Pfeifer (eds.)

por LPNMR '99 (5 : 1999 : El Paso, Texas) | Gelfond, Michael [editor] | Leone, Nicola [editor] | Pfiefer, Gerald [editor].

Series Lecture notes in artificial intelligence. Subseries of lectures notes in computer science ; 1730.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Berlin, Germany : Springer Verlag, 1999Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.63 L655 1999.

Meaning in dialogue : an interactive approach to logic and reasoning / by James Trafford

por Trafford, James [autor].

Series Studies in Applied Philosophy, Epistemology and Rational Ethics ; 33Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2017Disponibilidad: No disponible para préstamo a domicilio:Libros: Prestado (1).

Mechanization of reasoning in a historical perspective / Witold Marciszewski and Roman Murawski

por Marciszewski, Witold [autor] | Murawski, Roman [autor].

Series Poznań studies in the philosophy of the sciences and the humanities ; v. 43Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Amsterdam : Rodopi, 1995Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC177 M37.

The nature of statistical learning theory / Vladimir N. Vapnik

por Vapnik, Vladimir Naumovich [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: New York : Springer Verlag, c1995Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: Q325.7 V37, ...

Páginas
¿No encuentras lo que estás buscando?

Universidad Nacional Autónoma de México 

Biblioteca "Ricardo Monges López" de la Facultad de Ciencias

©2023 Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM

Aviso de Privacidad