REBIUN - ODA

Catálogo de la Red de Bibliotecas Universitarias y Científicas

Automated deduction in classical and non-classical logics : selected papers

Springer [2000]

Monografía

monografia Rebiun02268786 https://catalogo.rebiun.org/rebiun/record/Rebiun02268786 000724s2000 gw 000 0 eng d 3-540-67190-0 UPVA 990001575890203706 UIB 43633063 CBUC 991033479959706706 CBUC 991000885699706708 ES-MaCSI. spa Automated deduction in classical and non-classical logics selected papers Ricardo Caferra, Gernot Salzer (eds.). Berlin [etc.] Springer [2000] Berlin [etc.] Berlin [etc.] Springer VIII, 297 p. 24 cm VIII, 297 p. Lecture notes in computer science. Lecture notes in artificial intelligence 1761 Bibliografía e índice Demostración automática de teoremas Lógica matemática Caferra, Ricardo 1945-) Salzer, Gernot 1963-) Lecture notes in computer science. Lecture notes in artificial intelligence 1761

Localizaciones: 12
Préstamo interbibliotecario

Formato:

Título:

Automated deduction in classical and non-classical logics : selected papers / Ricardo Caferra, Gernot Salzer (eds.).

Editorial:

Berlin [etc.] : Springer, [2000]

Descripción física:

VIII, 297 p. ; 24 cm

Mención de serie:

Lecture notes in computer science. Lecture notes in artificial intelligence ; 1761

Nota general:

Bibliografía e índice

ISBN:

3-540-67190-0

Materia:

Autores:

Punto acceso adicional serie-Título:

Lecture notes in computer science. Lecture notes in artificial intelligence ; 1761

Consultar en el catálogo

Consultar en el catálogo

Consultar en el catálogo

Consultar en el catálogo

Consultar en el catálogo

Consultar en el catálogo

Consultar en el catálogo

Consultar en el catálogo

Consultar en el catálogo

Consultar en el catálogo

Seleccione el centro al que pertenece para solicitar la petición de préstamo de este documento.

Filtrar por:

Relacionados

Misma Editorial y Colección

Autores Weiss, Gerhard, ed. lit Sen, Sandip, ed. lit International Joint Conference on Artificial Intelligence (14. 1995. Montréal, Canada)

Publicación Berlin [etc.] : Springer, cop. 1996

Formato Monografía

Formato Monografía
Autores Cao, Longbing (1969-) Feng, Yong. Zhong, Jiang. International Conference on Advanced Data Mining and Applications (6ª. 2010. Chongqing, China)

Publicación Berlin : Springer, cop. 2010.

Formato Monografía

Formato Monografía
Autores Nossum, Rolf T., ed

Publicación Berlin [etc.] : Springer, cop. 1988

Formato Monografía

Formato Monografía
Autores McCalla, Gordon

Publicación Berlin, Heidelberg : Springer Berlin Heidelberg, 1996

Formato Monografía

Formato Monografía
Autores Blanzieri, Enrico, ed Portinale, Luigi, ed

Publicación Berlin [etc.] : Springer, [2000]

Formato Monografía

Formato Monografía
Autores Smith, Ian, ed Faltings, Boi, ed

Publicación Berlin [etc.] : Springer, cop. 1996

Formato Monografía

Formato Monografía
Autores Velde, Walter Van de Perram, John W. European Workshop on Modelling Autonomous Agents in a Multi-Agent World (7th :. 1996. Eindhoven, Netherlands)

Publicación Berlin, Heidelberg : Springer-Verlag, 1996

Formato Monografía

Formato Monografía
Autores Hunter, Anthony, ed Parsons, Simon, ed

Publicación Berlin [etc.] : Springer, cop. 1998

Formato Monografía

Formato Monografía
Autores Wang, Dongming., ed. lit

Publicación Berlin, Heidelberg : Springer Berlin Heidelberg, 1997

Formato Monografía

Formato Monografía
Autores Abdallah, Ali E. Jones, C. B. (Cliff B.) (1944-) Sanders, Jeff W.

Publicación Berlin, [etc.] : Springer, 2005

Formato Monografía

Formato Monografía
Autores Vitányi, Paul

Publicación Berlin, Heidelberg : Springer Berlin Heidelberg, 1995

Formato Monografía

Formato Monografía
Autores Wermter, Stefan, ed. Riloff, Ellen, ed. Scheler, Gabriele, ed.

Publicación Berlin, Heidelberg, New York : Springer, 1997.

Formato Monografía

Formato Monografía