Documents liés : [51 document(s)]

Documents (Codes MSC)

• [Multi angle] La difficile explication du résultat des calculs : des preuves automatiques à l'apprentissage automatique / Auteur de la Conférence Dowek, Gilles. -Marseille : CIRM
  
• [Multi angle] Arithmétique à virgule flottante : plaie ou terrain de jeu ? / Auteur de la Conférence Boldo, Sylvie. -Marseille : CIRM
  
• [Multi angle] Verified numerics for ODEs in Isabelle/HOL / Auteur de la Conférence Immler, Fabian. -Marseille : CIRM
  
• [Multi angle] Proof and computation in Coq / Auteur de la Conférence Théry, Laurent. -Marseille : CIRM
  
• [Ouvrage] Logic in computer science II / Editeur Ghilezan, Silvia. -Beograd : Matematicki Institut SANU, 2015. - 223 p.
  ISBN 978-86-80593-57-9
  
• [Ouvrage] Séminaire Bourbaki. Vol. 2013/2014: exposés 1074-1088 -Paris : Société Mathématique de France, 2015. - x; 476 p.
  ISBN 978-2-85629-804-6
  
• [ Post-edited] Une deuxième révolution galiléenne ? / Auteur de la Conférence Dowek, Gilles. CIRM
  
• [Congrès] Logic programming and automated reasoning: - 4th international conference, LPAR'93#July13-20 / Editeur Voronkov, Andrei. -Berlin, Heidelberg : Springer-Verlag, 1993. - 386p.
  ISBN 978-3-540-56944-2
  
• [Congrès] A decade of concurrency: - reflections and perspectives; REX school/symposium#June1-4 / Editeur De Bakker, J. W. ; Editeur De Roever, W. P. ; Editeur Rosenberg, G.. -Berlin, Heidelberg : Springer-Verlag, 1994. - 684p.
  ISBN 978-3-540-58043-0
  
• [Congrès] Symbolic and quantitative approaches to uncertainty: - european conference ECSQAU#Oct.15-17 / Editeur Kruse, Rudolf ; Editeur Siegel, Pierre. -Berlin, Heidelberg : Springer-Verlag, 1991. - 359p.
  ISBN 978-3-540-54659-7
  
• [Congrès] Formal methods in computer-aided design: - first international conference, FMCAD'96#Nov.6-8 / Editeur Srivas, Mandayam ; Editeur Camilleri, Albert. -Berlin, Heidelberg : Springer-Verlag, 1996. - 470p.
  ISBN 978-3-540-61937-6
  
• [Congrès] Computer aided verification: - 5th international conference, CAV'93#June28-July1 / Editeur Courcoubetis, Costas. -Berlin, Heidelberg : Springer-Verlag, 1993. - 504p.
  ISBN 978-3-540-56922-0
  
• [Congrès] Computer aided verification: - 7th international conference, CAV'95#July 3-5 / Editeur Wolper, Pierre. -Berlin, Heidelberg : Springer-Verlag, 1995. - 450p.
  ISBN 978-3-540-60045-9
  
• [Congrès] Computer aided verification: - 11th international conference, CAV'99#July 6-10 / Editeur Halbwachs, Nicolas ; Editeur Peled, Doron A.. -Berlin, Heidelberg : Springer-Verlag, 1999. - 506p.
  ISBN 978-3-540-66202-0
  
• [Congrès] Computer aided verification: - 3rd international workshop, CAV'91#July1-4 / Editeur Larsen, K. G. ; Editeur Skou, A.. -Berlin, Heidelberg : Springer-Verlag, 1992. - 487p.
  ISBN 978-3-540-55179-9
  
• [Congrès] Computer aided verification: - 9th international conference, CAV'97#June 22-25 / Editeur Grumberg, Orna. -Berlin, Heidelberg : Springer-Verlag, 1997. - 486p.
  ISBN 978-3-540-63166-8
  
• [Congrès] Computer aided verification: - 12th international conference, CAV#July15-19 / Editeur Emerson, Allen E. ; Editeur Sistla, Prasad A.. -Berlin, Heidelberg : Springer-Verlag, 2000. - 582p.
  ISBN 978-3-540-67770-3
  
• [Congrès] Computer aided verification: - 10th international conference, CAV'98#june28-july2 / Editeur Hu, Alain J. ; Editeur Vardi, Moshe Y.. -Berlin, Heidelberg, Allemagne : Springer-Verlag, 1998. - 552p.
  ISBN 978-3-540-64608-2
  
• [Ouvrage] Adapting proofs-as-programs : - the Curry-Howard protocol / Principal Poernomo, Iman Hafiz ; Co-auteur Crossley, John Newsome ; Co-auteur Wirsing, Martin. -N. Y. : Springer, 2005. - 420 p.
  ISBN 978-0-387-23759-6
  
• [Congrès] Symbolic computation and automated reasoning : - the CALCULEMUS-2000 symposium#8th symposium on the integration of symbolic computation and mechanized reasoning, St. Andrews, Scotland, GB, August 6--7, 2000 / Editeur Kerber, Manfred ; Editeur Kohlhase, Michael. A.K. Peters, 2000. - 270 p.
  ISBN 978-1-56881-145-1
  
• [Congrès] Automated deduction in geometry - second international workshop, ADG'98 proceedings - Aug. 1-3 / Editeur Gao, Wiao-Shan ; Editeur Wang, Dongming ; Editeur Yang, Lu. -Berlin, Heidelberg, N.Y. : Springer, 1999
  ISBN 978-3-540-66672-1
  
• [Congrès] Network design : connectivity and facilities location : - Dimacs workshop, princeton#April 28-30 / Editeur Dingzhu, Du ; Editeur Pardalos, Panos M.. -Providence : American Mathematical Society, 1998. - 461 p.
  ISBN 978-0-8218-0834-4
  
• [Congrès] Randomization methods in algorithm design : - DIMACS workshop#Dec. 12-14 / Editeur Pardalos, Panos ; Editeur Rajasekaran Sanguthevar ; Editeur Rolim José. -Providence : American Mathematical Society, 1999. - 318 p.
  ISBN 978-0-8218-0916-7
  
• [Congrès] Multichannel optical networks : - Theory and practice dimacs workshop held at rutgers university#March 16-19 / Editeur Du, Ding-Zhu ; Editeur Pardalos, Panos M. ; Editeur Wan, Peng-Jun. -Providence : American Mathematical Society, 1998. - 249 p.
  ISBN 978-0-8218-1004-0
  
• [Congrès] Automata, langages and programming : - 14th international colloquium on ...#July 13-14 / Editeur Ottmann, Thomas. -Berlin, Heidelberg, London, Paris : Springer-Verlag, 1987. - 565 p.
  ISBN 978-3-540-18088-3
  
• [Congrès] Automata, languages and programming#July 16-20 / Editeur Paterson, M. S.. -Berlin, Heidelberg, London, Paris : Springer-Verlag, 1990. - 780 p.
  ISBN 978-3-540-52826-5
  
• [Congrès] Word equations and related topics : - second international workshop, IWWERT '91#Oct. 7-9 / Editeur Abdulrab, Habib ; Editeur Pécuchet, Jean-Pierre. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1993. - 214 p.
  ISBN 978-3-540-56730-1
  
• [Thèse] Cabri-Euclide : - principes didactiques et informatique réalisation / Principal Luengo, Vanda. -Grenoble : Universite Joseph Fourier, 1997. - 250 p.
  
• [Congrès] Discrete geometry for computer imagery : - 6th international workshop, DGCI '96#Nov. 13-15 / Editeur Miguet, Serge ; Editeur Montanvert, Annick ; Editeur Ubéda, Stéphane. -Berlin, Heidelberg, N.Y. : Springer, 1996. - 348 p.
  ISBN 978-3-540-62005-1
  
• [Congrès] Satisfiability problem : - theory and applications in celebration of 25 years of research on ... (1971-1996) held at Rutgers University DIMACS workshop#March 11-13 / Editeur Dingzhu, Du ; Editeur Gu, Jun ; Editeur Pardalos, Panos M.. -Providence, R.I. : American Mathematical Society, 1997. - 723 p.
  ISBN 978-0-8218-0479-7
  
• [Congrès] Integrating symbolic mathematical computation and artificial intelligence : - second international conference, AISMIC-2#Aug. 3-5 / Editeur Calmet, Jacques ; Editeur Campbell, John A.. -Berlin, Heidelberg, N.Y. : Springer, 1995. - 275 p.
  ISBN 978-3-540-60156-2
  
• [Ouvrage] Lectures on a theory of computatio and complexity over the reals / Principal Blum, Lenore. -Rio de Janeiro : Instituto de Matemática Pura e Aplicada
  ISBN 978-85-244-0058-2
  
• [Congrès] Automated theorem proving : - Proceedings of the special session on automatic theorem proving 89th annual meeting of the ams#Jan. 5-9 / Editeur Bledsoe, W. W. ; Editeur Loveland, D. W.. -Providence, R. I. : American Mathematical Society, 1984. - 360 p.
  ISBN 978-0-8218-5027-5
  
• [Ouvrage] Ideals, varieties, and algorithms - an introduction to computational algebraic geometry and commutative algebra / Principal Cox, David A. ; Co-auteur Little, John ; Co-auteur O'Shea , Donald. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1992. - 513 p.
  ISBN 978-0-387-97847-5
  
• [Ouvrage] Les fondements logiques des mathématiques / Principal Beth, E. W.. -Louvain, Paris : Gauthier-Villars, 1955. - 241 p.
  
• [Ouvrage] Les fondements logiques des mathématiques / Principal Beth, E. W.. -Louvain, Paris : Gauthier-Villars, 1950. - 241 p.
  
• [Ouvrage] Negation and control in prolog / Principal Naish, Lee. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1986. - 119 p.
  ISBN 978-3-540-16815-7
  
• [Congrès] 8th international conference on automated deduction : - proceedings held at st. catherine college#July 27 - Aug. 1 / Editeur Siekmann, Jorg H.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1986. - 708 p.
  ISBN 978-3-540-16780-8
  
• [Ouvrage] The iota progamming system : - the modular programming environment / Editeur Nakajima, R. ; Editeur Yuasa, T.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1983. - 217 p.
  ISBN 978-3-540-12693-5
  
• [Congrès] Program specification#Aug. 4-7 / Editeur Staunstrup, J.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1982. - 426 p.
  ISBN 978-3-540-11490-1
  
• [Ouvrage] Symbolic logic and mechanical theorem proving / Principal Chang, Chin-Liang ; Co-auteur Lee, Richard Char-Tung. -Boston, London, N.Y. : Academic Press Inc., 1987. - 331 p.
  ISBN 978-0-12-170350-9
  
• [Congrès] 5th conference on automated deduction#July 8-11 / Editeur Bibel, W. ; Editeur Kowalski, R.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1980. - 385 p.
  ISBN 978-3-540-10009-6
  
• [Ouvrage] Mechanical geometry theorem proving / Principal Chou, Shang-Ching. -Boston, Dordrecht, Lancaster : D. Reidel Publisher Co., 1988. - 362 p.
  ISBN 978-90-277-2650-6
  
• [Ouvrage] Techniques algorithmiques pour l'intelligence artificielle / Principal Griffiths, Michael. -Lausanne, Londres, Paris : Hermes, 1986
  ISBN 978-2-86601-063-8
  
• [Ouvrage] Implementing mathematics with the nuprl proof development system / Secondaire Constable, R. L. ; Secondaire Allen, S. F. ; Secondaire Bromley, H.M. ; Secondaire Cleavland, W.R.. -Englewood Cliffs, N.J. : Inc.;Prentice Hall, 1986. - 299 p.
  ISBN 978-0-13-451832-9
  
• [Ouvrage] The mathematics of inheritance systems / Principal Touretzky, David S.. -California, London, Los Altos : Morgan Kaufmann Publisher Inc.;Pitman, 1985. - 431 p.
  ISBN 978-0-273-08765-6
  
• [Ouvrage] Artificial intelligence / Principal Rich, Elaine. -Auckland, London, Paris : Mcgraw-Hill International Book Co., 1983. - 436 p.
  ISBN 978-0-07-052261-9
  
• [Congrès] Logic programming - first international workshop on... held in debrecen,hungary,1980 / Editeur Clark, K. L. ; Editeur Tarnlund, S. A.. -London, N.Y., Paris : Academic Press, 1982
  ISBN 978-0-12-175520-1
  
• [Ouvrage] Automation of reasoning. Vol. 1 : - classical papers on computational logic 1957-1966 / Editeur Siekmann, Jorg ; Editeur Wrightson, Graham. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1983. - 525 p.
  ISBN 978-0-387-12043-0
  
• [Ouvrage] Automated theorem proving : - a logical basis / Principal Loveland, Donald W.. -Amsterdam, N.Y., Oxford : North-Holland Publishing Co., 1978. - 405 p.
  ISBN 978-0-7204-0499-9
  
• [Ouvrage] The computer modelling of mathematical reasoning / Principal Bundy, Alan. -London, N.Y., Paris : Academic Press, 1983. - 322 p.
  ISBN 978-0-12-141250-0