Automated technology for verification and analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings /

Automated technology for verification and analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings /

Spremljeno u:

Bibliografski detalji
Glavni autor:	Liu, Zhiming (Autor)
Daljnji autori:	Ravn, Anders P.
Format:	e-knjiga
Jezik:	English
Izdano:	Berlin, Heidelberg Springer 2009.
Serija:	Lecture Notes in Computer Science, 5799
Teme:	Computer science. Automatic theorem proving > Congresses. Artificial intelligence > Congresses. Logic design.
Online pristup:	Click here to view the full text content
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!

Similar Items

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

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

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

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

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

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

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

Automated theorem proving : theory and practice /
od: Newborn, Monty
Izdano: (2000)

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

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

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

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

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

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

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

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

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

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

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

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

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

Applied proof theory proof interpretations and their use in mathematics
od: Kohlenbach, U.
Izdano: (2008)

Applied proof theory proof interpretations and their use in mathematics
od: Kohlenbach, U.
Izdano: (2008)

Artificial intelligence and symbolic computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings /
Izdano: (2006)

Logics in artificial intelligence : European workshop, JELIA 2000, Malaga, Spain, September 29-October 2, 2000 : proceedings /
Izdano: (2000)

Advances in computation and intelligence 4th International Symposium, ISICA 2009 Huangshi, China, October 23-25, 2009 Proceedings /
Izdano: (2009)

Logics in artificial intelligence : 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings /
Izdano: (2006)

Logics in artificial intelligence : 10th European conference, Jelia 2006, Liverpool, Uk, September 13-15, 2006 proceedings /
Izdano: (2006)

New advances in intelligent decision technologies results of the first KES international symposium IDT 2009 /
Izdano: (2009)

Logic programming 24th international conference, ICLP 2008, Udine, Italy, December 9-13 2008. Proceedings /
Izdano: (2008)

Computer aided verification 21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /
Izdano: (2009)

Quantum interaction third international symposium, QI 2009, Saarbrucken, Germany, March 25-27, 2009. Proceedings /
Izdano: (2009)

Agents and data mining interaction 4th International Workshop, ADMI 2009, Budapest, Hungary, May 10-15,2009, Revised selected papers /
Izdano: (2009)

Automated technology for verification and analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings /

Intelligent automation and computer engineering
Izdano: (2010)

Intelligent automation and computer engineering
Izdano: (2010)

Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings /
Izdano: (2013)

Automated technology for verification and analysis 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings /
Izdano: (2012)

Logics in artificial intelligence : 10th European conference, Jelia 2006, Liverpool, Uk, September 13-15, 2006 proceedings /
Izdano: (2006)

Agent and multi-agent systems: technologies and applications Third KES International Symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3-5, 2009. Proceedings /
Izdano: (2009)