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

Documents (Codes MSC)

• [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
  
• [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 / Editeur Bertrand, Daniel ; Editeur 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 / Editeur Ehrhard, Thomas ; Editeur Girard, Jean-Yves ; Editeur Ruet, Paul ; Editeur 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 / 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
  
• [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 / Editeur Bledsoe, W. W. ; Editeur 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 / Editeur Siekman, Jorg ; Editeur Wrightson, Graham. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1983. - 637 p.
  ISBN 978-0-387-12044-7