REBIUN - ODA

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

Temporal logic : First International Conference, ICTL'94. Bonn, Germany, July 11-14, 1994. Proceedings

Springer-Verlag 1994

Monografía

monografia Rebiun03771438 https://catalogo.rebiun.org/rebiun/record/Rebiun03771438 990623s1994 gw 000 0 eng d 3-540-58241-X UM0095981 ULL0044591 UIB (77066) ES-MaCSI. spa. VL Temporal logic First International Conference, ICTL'94. Bonn, Germany, July 11-14, 1994. Proceedings First International Conference ICTL'94. Bonn, Germany, 11-14 July ; Dov M. Gabbay, Jans Jürgen Ohlbachs (Eds.). Berlin [etc.] Springer-Verlag 1994 Berlin [etc.] Berlin [etc.] Springer-Verlag XI, 545 p. 24 cm XI, 545 p. Lecture notes in computer science. Lecture notes in artificial intelligence 827 Bibliografía Lógica matemática Congresos Programación de ordenadores Congresos Gabbay, D. ed Ohlbach, Jans Jürgen ed Lecture notes in computer science. Lecture notes in artificial intelligence 827

Localizaciones: 5
Préstamo interbibliotecario

Formato:

Título:

Temporal logic : First International Conference, ICTL'94. Bonn, Germany, July 11-14, 1994. Proceedings / First International Conference ICTL'94. Bonn, Germany, 11-14 July ; Dov M. Gabbay, Jans Jürgen Ohlbachs (Eds.).

Editorial:

Berlin [etc.] : Springer-Verlag, 1994

Descripción física:

XI, 545 p. ; 24 cm

Mención de serie:

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

Bibliografía:

Bibliografía

ISBN:

3-540-58241-X

Materia:

Autores:

Punto acceso adicional serie-Título:

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

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 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 Kumar, D.

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

Formato Monografía

Formato Monografía
Autores International Workshop on Expert Systems in Engineering (1990. Vienna)

Publicación Berlin, etc. : Springer-Verlag, 1990.

Formato Monografía

Formato Monografía
Autores Castelfranchi, Cristiano Müller, Jean-Pierre

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

Formato Monografía

Formato Monografía
Publicación Berlin, etc. : Springer-Verlag, cop. 1989.

Formato Monografía

Formato Monografía
Autores Eijck, J.

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

Formato Monografía

Formato Monografía
Autores Studer, R., ed. International Scientific Symposium on Natural language and Logic (. (1989. Hamburgo)

Publicación Berlin : Springer-Verlag, 1990.

Formato Monografía

Formato Monografía
Autores Papazoglou, M. (1953-) Zeleznikow, J. International Joint Conference on Artificial Intelligence (1991 :. Sydney, N.S.W.)

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

Formato Monografía

Formato Monografía
Autores Froidevaux, Christine Kohlas, Jürg

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

Formato Monografía

Formato Monografía
Autores Austrian Artificial Intelligence Conference FLAI'93 (8ª. 1993. Linz, Austria) Klement, E. P., ed Slany, W., ed

Publicación Berlin [etc.] : Springer-Verlag, cop. 1993

Formato Monografía

Formato Monografía
Autores Bergadano, Francesco Raedt, Luc

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

Formato Monografía

Formato Monografía
Autores Cadoli, Marco (1965-)

Publicación Berlin ; New York : Springer-Verlag, 1995

Formato Monografía

Formato Monografía