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

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

Shranjeno v:

Bibliografske podrobnosti
Drugi avtorji:	Hutchison, David
Format:	eKnjiga
Jezik:	English
Izdano:	Berlin, Heidelberg Springer 2009.
Serija:	Lecture Notes in Computer Science, 5497
Teme:	Algebra > Data processing Logic design Automatic theorem proving > Congresses Computer programming > Congresses
Online dostop:	Click here to view the full text content
Oznake:	Označite Brez oznak, prvi označite!

Podobne knjige/članki

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 reasoning : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
Izdano: (2006)

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)

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

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

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

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

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

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)

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

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 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings /
od: Giese, Martin
Izdano: (2009)

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)

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

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

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

Types for proofs and programs : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /
Izdano: (2007)

Types for proofs and programs : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers /

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

Logic-based program synthesis and transformation 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, revised selected papers /
Izdano: (2009)

Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers /
Izdano: (2007)

Typed lambda calculi and applications 9th international conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings /
Izdano: (2009)

Certified programs and proofs : third international conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings /
Izdano: (2013)

Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers /
Izdano: (2007)

Logic based program synthesis and transformation (vol. # 3901) : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers /
Izdano: (2006)

Control and estimation of distributed parameter systems : international conference in Maria Trost (Austria), July 15-21, 2001 /
Izdano: (2003)

On formally undecidable propositions of Principia mathematica and related systems /
od: Godel, Kurt
Izdano: (1992)

Logic programming (vol. # 4079) : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
Izdano: (2006)

Proof theory for fuzzy logics
od: Metcalfe, George
Izdano: (2009)

Computational logic in multi-agent systems (vol. # 3900) : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers /
Izdano: (2006)

Typed lambda calculi and applications : 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings /
Izdano: (2013)

Relations and kleene algebra in computer science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 : proceedings /
Izdano: (2006)

Functional and logic programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /
Izdano: (2006)