REBIUN - ODA

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

Automated Deduction in Geometry [International Workshop on Automated Deduction in Geometry Toulouse, France, September 27{u2013}29, 1996 Selected Papers

Springer Berlin Heidelberg 1997

Computer science Programming languages (Electronic computers) Computers Mathematical logic Artificial intelligence Computer graphics Algorithms Computer Science Theory of Computation Programming Languages, Compilers, Interpreters Artificial Intelligence (incl. Robotics) Mathematical Logic and Formal Languages Computer Graphics

Monografía

monografia Rebiun19267378 https://catalogo.rebiun.org/rebiun/record/Rebiun19267378 121227s1997 gw | s |1|| 0|eng d 9783540697176 9783540642978 10.1007/BFb0022715 DOI UMA.RE Automated Deduction in Geometry Recurso electrónico] International Workshop on Automated Deduction in Geometry Toulouse, France, September 27{u2013}29, 1996 Selected Papers edited by Dongming Wang Servicio en línea Berlin, Heidelberg Springer Berlin Heidelberg 1997 Berlin, Heidelberg Berlin, Heidelberg Springer Berlin Heidelberg VII, 240 p VII, 240 p Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence 1360 Acceso restringido a miembros del Consorcio de Bibliotecas Universitarias de Andalucía Modo de acceso: world wide web Springer (e-Books) Computer science Programming languages (Electronic computers) Computers Mathematical logic Artificial intelligence Computer graphics Algorithms Computer Science Theory of Computation Programming Languages, Compilers, Interpreters Artificial Intelligence (incl. Robotics) Mathematical Logic and Formal Languages Computer Graphics Wang, Dongming. ed. lit Lecture Notes in Computer Science (Servicio en línea) SpringerLink Books (Servicio en línea)

Localizaciones: 2
Préstamo interbibliotecario

Formato:

Título:

Automated Deduction in Geometry [ Recurso electrónico] : International Workshop on Automated Deduction in Geometry Toulouse, France, September 27{u2013}29, 1996 Selected Papers / edited by Dongming Wang

Editorial:

Berlin, Heidelberg : Springer Berlin Heidelberg, 1997

Descripción física:

VII, 240 p

Mención de serie:

Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1360

Restricciones de acceso:

Acceso restringido a miembros del Consorcio de Bibliotecas Universitarias de Andalucía

Detalles del sistema:

Modo de acceso: world wide web

Fuente de adquisición directa:

Springer (e-Books)

ISBN:

9783540697176

9783540642978

Autores:

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

Mismo Género

Autores Papavassiliou, Symeon Ruehrup, Stefan

Formato Monografía

Formato Monografía
Autores Puliafito, Antonio., ed. lit Bruneo, Dario., ed. lit Distefano, Salvatore., ed. lit Longo, Francesco., ed. lit

Publicación Cham : Springer International Publishing : Imprint: Springer, 2017

Formato Monografía

Formato Monografía
Autores Li, Kang., ed. lit Xue, Yusheng., ed. lit Cui, Shumei., ed. lit Niu, Qun., ed. lit Yang, Zhile., ed. lit Luk, Patrick., ed. lit

Publicación Singapore : Springer Singapore : Imprint: Springer, 2017

Formato Monografía

Formato Monografía
Autores Fei, Minrui., ed. lit Ma, Shiwei., ed. lit Li, Xin., ed. lit Sun, Xin., ed. lit Jia, Li., ed. lit Su, Zhou., ed. lit

Publicación Singapore : Springer Singapore : Imprint: Springer, 2017

Formato Monografía

Formato Monografía
Autores Battiato, Sebastiano Blanc-Talon, Jacques Gallo, Giovanni Philips, Wilfried Popescu, Dan Scheunders, Paul

Formato Monografía

Formato Monografía
Autores Blanc-Talon, Jacques., ed. lit Penne, Rudi., ed. lit Philips, Wilfried., ed. lit Popescu, Dan, ed. lit Scheunders, Paul., ed. lit

Publicación Cham : Springer International Publishing, 2017

Formato Monografía

Formato Monografía
Autores Cong, Gao., ed. lit Peng, Wen-Chih., ed. lit Zhang, Wei Emma., ed. lit Li, Chengliang., ed. lit Sun, Aixin., ed. lit

Publicación Cham : Springer International Publishing : Imprint: Springer, 2017

Formato Monografía

Formato Monografía
Autores Singh, Dharm., ed. lit Raman, Balasubramanian., ed. lit Luhach, Ashish Kumar., ed. lit Lingras, Pawan., ed. lit

Publicación Singapore : Springer Singapore : Imprint: Springer, 2017

Formato Monografía

Formato Monografía
Autores Zdravkovic, Jelena Kirikova, Marite Johannesson, Paul

Formato Monografía

Formato Monografía
Autores Metzger, Andreas., ed. lit Persson, Anne., ed. lit

Publicación Cham : Springer International Publishing : Imprint: Springer, 2017

Formato Monografía

Formato Monografía
Autores Huang, De-Shuang Han, Kyungsook

Formato Monografía

Formato Monografía
Autores Chen, Yunji Ienne, Paolo Ji, Qing

Formato Monografía

Formato Monografía

Misma Editorial y Colección

Autores McCalla, Gordon

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

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 Riloff, Ellen Scheler, Gabriele

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

Formato Monografía

Formato Monografía
Autores Nebel, Bernhard Dreschler-Fischer, Leonie

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

Formato Monografía

Formato Monografía
Autores ALT '92 (1992 :. Tokyo, Japan) Doshita, S. (Shuji) (1935-) Furukawa, Koichi Jantke, K. P. (Klaus P.) Nishida, Toyaki

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

Formato Monografía

Formato Monografía
Autores Bläsius, K. H. (Karl Hans) Hedtstück, Ulrich Rollinger, Claus-Rainer

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

Formato Monografía

Formato Monografía
Autores Dix, J. Jantke, K. P. Schmitt, P. H.

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

Formato Monografía

Formato Monografía
Autores Eriksson, L.-H Hallnäs, L. Schroeder-Heister, P.

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

Formato Monografía

Formato Monografía
Autores European Knowledge Acquisition Workshop (8th :. 1994 :. Hoegaarden, Belgium) Steels, Luc Schreiber, Guus (1956-) Velde, Walter Van de

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

Formato Monografía

Formato Monografía
Autores European Natural Language Generation Workshop (4th :. 1993 :. Pisa, Italy) Adorni, Giovanni Zock, Michael

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

Formato Monografía

Formato Monografía
Autores Franz, Alexander (1966-)

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

Formato Monografía

Formato Monografía
Autores International Conference on Automated Deduction (13th :. 1996 :. New Brunswick, N.J.) Slaney, J. K. (John K.) McRobbie, M. A. (Michael A.)

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

Formato Monografía

Formato Monografía