Вы здесь

Главная

Calmet J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Combining Theorem Proving and Symbolic Mathematical Computing 1995 Homann K., Calmet J. Lecture Notes in Computer Science Integrating Symbolic Mathematical Computation and Artificial Intelligence 27.09.1995
СТ Building Bridges between Knowledge Representation and Algebraic Specification 1994 Calmet J., Tjandra I. A. Lecture Notes in Artificial Intelligence 16.11.1994
СТ Artificial Intelligence and Symbolic Mathematical Computations 1993 Calmet J., Campbell J. A. Lecture Notes in Computer Science 23.11.1993
СТ A Unified-Algebra-based Specification Language for Symbolic Computing 1993 Calmet J., Tjandra I. A. Lecture Notes in Computer Science 09.10.1993

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Artificial Intelligence and Symbolic Computation: Proc./13th International Conference, AISC 2018, Suzhou, China, September 2018 2018 Lecture Notes in Computer Science
  1. Fleureot J.
  2. Wang D.
  3. Calmet J.
 27.09.2018
СБ Artificial Intelligence and Symbolic Computation: Proc./12th International Conference, AISC 2014, Seville, Spain, December 2014 2014 Lecture Notes in Artificial Intelligence
  1. Aranda-Corral G. A.
  2. Calmet J.
  3. Martin-Mateos F. J.
 18.01.2015
СБ Intelligent Computer Mathematics: Proc./10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 2010 2010 Lecture Notes in Artificial Intelligence
  1. Autexier S.
  2. Calmet J.
  3. Delahaye D.
  4. Ion P.D. F.
 21.09.2010
СБ Mathematical Methods in Computer Science: Essays in Memory of Thomas Beth 2008 Lecture Notes in Computer Science
  1. Calmet J.
  2. Geiselmann W.
  3. Muller-Quade J.
 07.04.2009
СБ Artificial Intelligence and Symbolic Computation: Proc./8th International Conference, AISC 2006. Beijing, China, September 2006 2006 Lecture Notes in Artificial Intelligence
  1. Calmet J.
  2. Ida T.
  3. Wang D.
 20.10.2006
СБ Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Proc./Joint Intern. Conf., AISC 2002 and Calculemus 2002, Marseille, France, July 2002 2002 Lecture Notes in Artificial Intelligence
  1. Calmet J.
  2. Benhamou B.
  3. Caprotti O.
  4. Henocque L.
 26.07.2002
СБ Artificial Intelligence and Symbolic Computation: Proc./Intern. Conf. AISC 98. Plattsburgh, New York, USA, September 1998 1998 Lecture Notes in Artificial Intelligence
  1. Calmet J.
  2. Plaza J.
 03.10.1998
СБ Design and Implementation of Symbolic Computation Systems: Proc./International Symposium,DISCO 96. Karlsruhe,Germany,September 1996 1996 Lecture Notes in Computer Science
  1. Calmet J.
  2. Limongelli C.
 02.10.1996
СБ Artificial Intelligence and Symbolic Mathematical Computation: Proc./International Conference,AISMC-3. Steyr,Austria,September 1996 1996 Lecture Notes in Computer Science
  1. Calmet J.
  2. Campbell J. A.
  3. Pfalzgraf J.
 02.10.1996
СБ Integrating Symbolic Mathematical Computation and Artificial Intelligence: Selected Papers/ Second International Conference, AISMC-2. Cambridge, United Kingdom, August 1994 1995 Lecture Notes in Computer Science
  1. Calmet J.
  2. Campbell J. A.
 26.09.1995
СБ Artificial Intelligence and Symbolic Mathematical Computing: Proc./Intern. Conf. AISMC-1. Karlsruhe, Germany, August 1992 1993 Lecture Notes in Computer Science
  1. Calmet J.
  2. Campbell J. A.
 22.11.1993