Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium /

Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium /

Show other versions (2)

Saved in:

Bibliographic Details
Corporate Author:	Calculemus-2000 Symposium (2000 : St. Andrews, Scotland)
Other Authors:	Kerber, Manfred, Kohlhase, Michael
Format:	Conference Proceeding Book
Language:	English
Published:	Natick, Mass. A.K. Peters c2001.
Subjects:	Algebra > Data processing > Congresses. Automatic theorem proving > Congresses.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium /
Published: (2001)

Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium /
Published: (2001)

Automated technology for vertification and analysis : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings /

Automated technology for verification and analysis : 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, proceedings /
Published: (2008)

A fascinating country in the world of computing : your guide to automated reasoning /
by: Wos, Larry
Published: (1999)

Automated reasoning : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
Published: (2006)

Automated theorem proving : theory and practice /
by: Newborn, Monty
Published: (2000)

A fascinating country in the world of computing : your guide to automated reasoning /
by: Wos, Larry
Published: (1999)

Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
Published: (2005)

Automated reasoning with analytic tableaux and related methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings /
by: Giese, Martin
Published: (2009)

Automated verification technique with IEC 61499 implementation using spin model checking /
by: Wan Muhammad Adib Wan Mustafa Kamal
Published: (2016)

Automated verification technique with IEC 61499 implementation using spin model checking /
by: Wan Muhammad Adib Wan Mustafa Kamal
Published: (2016)

Logic for programming, aritficial intelligence, and reasoning : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings /
Published: (2006)

Automated deduction CADE-22 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings /
Published: (2009)

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
Published: (2005)

Types for proofs and programs international conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers /
Published: (2009)

Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions /
by: Bertot, Yves
Published: (2004)

Automated technology for verification and analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings /
by: Liu, Zhiming
Published: (2009)

Computer algebra in scientific computing : CASC 2000 /
Published: (2000)

Computer alegebra and symbolic computation : mathematical methods /
by: Cohen, Joel S.
Published: (2003)

Computer algebra and symbolic computation : elementary algorithms /
by: Cohen, Joel S.
Published: (2002)

Computer algebra and symbolic computation : elementary algorithms /
by: Cohen, Joel S.
Published: (2002)

Computer algebra and symbolic computation : mathematical methods /
by: Cohen, Joel S.
Published: (2003)

Thirty five years of automating mathematics /
Published: (2003)

Computer algebra in scientific computing : CASC 2001 : proceedings of the Fourth International Workshop on Computer Algebra in Scientific Computing, Konstanz, Sept. 22-26, 2001 /
Published: (2001)

Computer algebra in scientific computing : CASC 2000 /
Published: (2000)

Computational algebra /
by: Fischer, Klaus G.
Published: (2004)

Computer algebra in scientific computing : 9th international workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, proceedings /
Published: (2006)

Algebraic foundations in computer science : essays dedicated to symeon bozapalidis on the occasion of his retirement /
Published: (2011)

Computer algebra 2006 : latest advances in symbolic algorithms /
Published: (2007)

Computer algebra in scientific computing : CASC 2001 : proceedings of the Fourth International Workshop on Computer Algebra in Scientific Computing, Konstanz, Sept. 22-26, 2001 /
Published: (2001)

Computational algebra
Published: (1994)

Computational algebra
Published: (1994)

Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions /
by: Bertot, Yves
Published: (2004)

Computer algebra in scientific computing CASC 2001 : proceedings of the Fourth International Workshop on Computer Algebra in Scientific Computing, Konstanz, Sept. 22-26, 2001
Published: (2001)

Computer algebra in scientific computing CASC 2001 : proceedings of the Fourth International Workshop on Computer Algebra in Scientific Computing, Konstanz, Sept. 22-26, 2001
Published: (2001)

Computer algebra in scientific computing : 9th international workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, proceedings /
Published: (2006)

Algebraic foundations in computer science : essays dedicated to symeon bozapalidis on the occasion of his retirement /
Published: (2011)

Mathematical knowledge management (vol. # 4108) : 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings /
Published: (2006)

Computer algebra 2006 : latest advances in symbolic algorithms /
Published: (2007)