Linked documents : [17 document(s)]

Documents (MSC Codes)

• [Ouvrage] Interactive theorem proving and program development: - Coq'art: the calculus of inductive constructions / Principal Bertot, Yves ; Co-auteur Castéran, Pierre ; Foreword Huet, Gérard ; Foreword Paulin-Mohring, Christine. Springer, 2010. - xxv; 469 p.
  ISBN 978-3-642-05880-6
  
• [Ouvrage] Logic in computer science II / Editor 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
  
• [Ouvrage] Methods of cut-elimination / Principal Baaz, Matthias ; Co-auteur Leitsch, Alexander. Springer, 2011. - vi-287 p.
  ISBN 978-94-007-0319-3
  
• [Congrès] Groupes de Galois arithmétiques et différentiels#Mars 8-13 / Editor Bertrand, Daniel ; Editor Dèbes, Pierre. -Paris : Société Mathématique de France, 2006. - 391 p.
  ISBN 978-2-85629-222-8
  
• [Congrès] Linear logic in computer science : - Azores summer school on ...#Aug. 30 - Sept. 7 / Editor Ehrhard, Thomas ; Editor Girard, Jean-Yves ; Editor Ruet, Paul ; Editor Scott, Philip. -Cambridge : Cambridge University Press, 2004. - 381 p.
  ISBN 978-0-521-60857-2
  
• [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 / Editor Kerber, Manfred ; Editor 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 / Editor Gao, Wiao-Shan ; Editor Wang, Dongming ; Editor Yang, Lu. -Berlin, Heidelberg, N.Y. : Springer, 1999
  ISBN 978-3-540-66672-1
  
• [Ouvrage] Einführung in die operative logik und mathematik / Principal Lorenzen, Paul. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1969. - 297 p.
  
• [Congrès] Automated theorem proving : - Proceedings of the special session on automatic theorem proving 89th annual meeting of the ams#Jan. 5-9 / Editor Bledsoe, W. W. ; Editor Loveland, D. W.. -Providence, R. I. : American Mathematical Society, 1984. - 360 p.
  ISBN 978-0-8218-5027-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] 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] An introduction to mathematical logic and type theory - to truth through proof / Principal Andrews, Peter B.. -London, N.Y. : Academic Press, 1986. - 304 p.
  ISBN 978-0-12-058536-6
  
• [Ouvrage] Logic for problem solving / Principal Kowalski, Robert. -Amsterdam, N.Y., Oxford : North-Holland, 1979. - 287 p.
  ISBN 978-0-444-00365-2
  
• [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
  
• [Ouvrage] Automation of reasoning. Vol. 2 : - classical papers on computational logic 1967-1970 / Editor Siekman, Jorg ; Editor Wrightson, Graham. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1983. - 637 p.
  ISBN 978-0-387-12044-7