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

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

This book constitutes the refereed proceedings of the Third International Conference on Certified Programs and Proofs, CPP 2013, colocated with APLAS 2013 held in Melbourne, Australia, in December 2013. The 18 revised regular papers presented together with 1 invited lecture were carefully reviewed a...

保存先:

書誌詳細
団体著者:	SpringerLink (Online service)
その他の著者:	Norrish, Michael (編集者)
フォーマット:	eBook
言語:	English
出版事項:	Cham Springer International Publishing Imprint: Springer, 2013.
シリーズ:	Lecture Notes in Computer Science, 8307
主題:	Computer science. Logic design. Algebra > Data processing. Artificial intelligence.
オンライン･アクセス:	Click here to view the full text content
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

類似資料

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

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

Proof theory for fuzzy logics
著者:: Metcalfe, George
出版事項: (2009)

Term Rewriting and Applications (vol. # 3467) 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings
出版事項: (2005)

Logic, language, information, and computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings /
出版事項: (2013)

Formal grammar : 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings /
出版事項: (2013)

Programming languages and systems : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings /
出版事項: (2013)

Formal concept analysis : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings /
著者:: Cellier, Peggy
出版事項: (2013)

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

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

Intelligent computer mathematics : 11th International conference, AISC 2012, 19th symposium, calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings /
出版事項: (2012)

Relational and algebraic methods in computer science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings /
出版事項: (2012)

Logics in artificial intelligence 12th european conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings /
出版事項: (2010)

Logic for programming, artificial intelligence, and reasoning : 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /
出版事項: (2013)

Artificial intelligence and symbolic computation : 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings /
出版事項: (2014)

Language and Automata theory and applications : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings /
出版事項: (2013)

Logic programming : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

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

Logic programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings /
出版事項: (2009)

Relational and algebraic methods in computer science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings /
出版事項: (2014)

Logic, language and meaning 17th amsterdam colloquium, amsterdam, the netherlands, December 16-18, 2009, revised selected papers /
出版事項: (2010)

Logic programming and nonmonotonic reasoning : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /
出版事項: (2013)

Fuzzy computational ontologies in contexts : formal models of knowledge representation with membership degree and typicality of objects, and their applications /
著者:: Cai, Yi
出版事項: (2012)

Functional and logic programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings /
出版事項: (2008)

Inductive logic programming : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers /
出版事項: (2013)

Inductive logic programming 21st international conference, ILP 2011, Windsor Great Park, UK, July 31 - August 3, 2011, revised selected papers /
出版事項: (2012)

Proofs of the cantor-bernstein theorem : a mathematical excursion /
著者:: Hinkis, Arie
出版事項: (2013)

Unifying theories of programming third international symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings /
出版事項: (2010)

Problems and proofs in numbers and algebra /
著者:: Millman, Richard S., 等
出版事項: (2015)

Tests and Proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings /
出版事項: (2013)

Interactive theorem proving third international conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. proceedings /
著者:: Beringer, Lennart
出版事項: (2012)

Intelligent computer mathematics : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings /
出版事項: (2013)

Logic for programming, artificial intelligence, and reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings /
出版事項: (2012)

Adapting proofs-as-programs the curry-howard protocol /
著者:: Poernomo, Iman Hafiz
出版事項: (2005)

Algebraic informatics : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings /
出版事項: (2013)

Functional and logic programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings /
出版事項: (2012)

Theoretical Aspects of Computing - ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings /
出版事項: (2013)

Belief-based stability in coalition formation with uncertainty : an intelligent agents' perspective /
著者:: Chan, Chi-kong, 等
出版事項: (2013)

Logic for programming, artificial intelligence, and reasoning (vol. # 3835) : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

Interactive theorem proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings /
出版事項: (2013)