Acceder a contenido central

REBIUN - ODA

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

Detalle del título

Descripción del título

cover Logics in AI [European Work...
Logics in AI [European Workshop JELIA '90 Amsterdam, the Netherlands, September 10-14, 1990 Proceedings
Springer-Verlag 1991

The European Workshop on Logics in Artificial Intelligence was held at the Centre for Mathematics and Computer Science in Amsterdam, September 10-14, 1990. This volume includes the 29 papers selected and presented at the workshop together with 7 invited papers. The main themes are: - Logic programming and automated theorem proving, - Computational semantics for natural language, - Applications of non-classical logics, - Partial and dynamic logics

Llibres electrònics

Monografía

Más detalles del título

Cambiar el formato de visualización

Más detalles

Título:
Logics in AI [ Recurs electrònic] : European Workshop JELIA '90 Amsterdam, the Netherlands, September 10-14, 1990 Proceedings / edited by J. Eijck
Editorial:
Berlin, Heidelberg : Springer-Verlag, 1991
Descripción física:
1 recurs electrònic : v.: digital
Tipo Audiovisual:
Computer science
Logic design
Artificial intelligence
Logic, Symbolic and mathematical
Computer Science
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs
Mathematical Logic and Foundations
Artificial intelligence. fast
Computer science. fast
Logic design. fast
Logic, Symbolic and mathematical. fast
Mención de serie:
Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, 0302-9743 ; 478
ISBN:
9783540469827 ( electronic bk.)
3540469826 ( electronic bk.)
9783540536864
3540469826
Autores:
Punto acceso adicional serie-Título:
Lecture notes in computer science. Lecture notes in artificial intelligence ; 478., 0302-9743
SpringerLink eBooks

Préstamo interbibliotecario

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

Filtrar listado de centros

No hay coincidencias

Relacionados

Mismo Género

           
  • Autores Duke, James (1957-)
    Publicación Madrid : Elsevier, c2006
    Formato Monografía
    Formato Monografía
    •        
  • Autores Della Porta, Donatella (1956-), ed
    Publicación Tres Cantos, madrid : Akal, cop. 2013
    Formato Monografía
    Formato Monografía
    •        
  • Autores Moreno Saiz, Juan Carlos, editor literari Iriondo Alegría, José María, editor literari Martínez García, Felipe, editor literari Martínez, J. (Jorge), editor literari Salazar Mendías, Carlos, editor literari España. Ministerio para la Transición Ecológica, entitat editora Sociedad Española de Biología de la Conservación de Plantas, entitat editora
    Publicación Madrid : Ministerio para la Transición Ecológica. Centro de Publicaciones : Sociedad Española de Biología de la Conservación de Plantas, 2019
    Formato Monografía
    Formato Monografía
    •        
  • Autores Col·lecció Dalmases (Biblioteca de Catalunya) ES-BaBC Biblioteca de Catalunya. Manuscrit. (. Ms. 501)
    Publicación [17--]
    Formato Monografía
    Formato Monografía
    •        
  • Autores World Cancer Research Fund International, entitat editora American Institute for Cancer Research, entitat editora Continuous Update Project, autor
    Publicación London : World Cancer Research Fund International ; [Arlington] : American Institute for Cancer Research, 2018
    Formato Monografía
    Formato Monografía
    •        
  • Autores Wing, Edward J., editor literari Schiffman, Fred J., editor literari
    Publicación Barcelona : Elsevier, [2022] 2022
    Formato Monografía
    Formato Monografía
    •        
  • Autores Crawford, Michael H. (1943-), editor literari
    Publicación México, D.F. : McGraw-Hill Interamericana Editores, [2018] 2018
    Formato Monografía
    Formato Monografía
    •        
  • Autores Crawford, Michael H. (1943-), editor literari
    Publicación México, D.F. : McGraw-Hill Interamericana Editores, [2023] 2023
    Formato Monografía
    Formato Monografía
    •        
  • Autores Humphries, Roger L., editor literari Stone, C. Keith, editor literari
    Publicación México, D.F. : McGraw-Hill Interamericana Editores, [2024] 2024
    Formato Monografía
    Formato Monografía
    •        
  • Autores Papadakis, Maxine A., editor literari McPhee, Stephen J., editor literari Rabow, Michael W., editor literari McQuaid, Kenneth R., editor literari
    Publicación [México] : McGraw-Hill Education, [2022] 2022
    Formato Monografía
    Formato Monografía
    •        
  • Autores Papadakis, Maxine A., edditor literari McQuaid, Kenneth R., edditor literari
    Publicación México, D.F. : McGraw-Hill Interamericana Editores, [2023] 2023
    Formato Monografía
    Formato Monografía
    •        
  • Autores Grup de Treball Desbordes de la Cultura, autor
    Publicación Barcelona : La Ciutat Invisible.coop : Pol·len Edicions, febrero 2020
    Formato Monografía
    Formato Monografía

Misma Editorial y Colección