The Seventeen Provers of the World Foreword by Dana S. Scott

The Seventeen Provers of the World Foreword by Dana S. Scott

Библиографическая информация
Опубликовано в: :	Springer e-books
Главный автор:	Wiedijk, Freek
Соавтор:	SpringerLink (Online service)
Формат:	Электронная книга
Язык:	English
Публикация:	Berlin Heidelberg : Springer-Verlag GmbH., 2006
Серии:	Lecture Notes in Computer Science,
Предметы:	Artificial intelligence Computer Science Software engineering Artificial Intelligence (incl. Robotics) Mathematical Logic and Formal Languages Software Engineering
Online-ссылка:	http://dx.doi.org/10.1007/11542384

Похожие документы

Mechanizing Mathematical Reasoning Essays in Honor of JГ¶rg H. Siekmann on the Occasion of His 60th Birthday
по: Hutter, Dieter
Публикация: (2005)

Frontiers of Combining Systems 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings /
по: Konev, Boris
Публикация: (2007)

Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings /
по: Olivetti, Nicola
Публикация: (2007)

Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino /
по: Beckert, Bernhard
Публикация: (2007)

The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineering /
по: Jureta, Ivan
Публикация: (2015)

Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
по: Furbach, Ulrich
Публикация: (2006)

Compiler Construction (vol. # 3923) 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings
по: Mycroft, Alan
Публикация: (2006)

Compiler Construction (vol. # 3443) 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005
по: Bodik, Rastislav
Публикация: (2005)

Automated Deduction - CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
по: Nieuwenhuis, Robert
Публикация: (2005)

Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings /
по: Hendren, Laurie
Публикация: (2008)

Automated Deduction вЂ“ CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings /
по: Pfenning, Frank
Публикация: (2007)

Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings /
по: Carbonell, Jaime G.
Публикация: (2008)

Frontiers of Combining Systems 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings
по: Gramlich, Bernhard
Публикация: (2005)

Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
по: Beckert, Bernhard
Публикация: (2005)

Computer Aided Verification (vol. # 4144) 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
по: Ball, Thomas
Публикация: (2006)

Computer Aided Verification (vol. # 3576) 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
по: Etessami, Kousha
Публикация: (2005)

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
по: Hurd, Joe
Публикация: (2005)

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings /
по: Schneider, Klaus
Публикация: (2007)

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings /
по: Hutchison, David
Публикация: (2008)

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings /
по: Damm, Werner
Публикация: (2007)

Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings /
по: Hutchison, David
Публикация: (2008)

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings /
по: Carbonell, Jaime G.
Публикация: (2008)

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /
по: Dershowitz, Nachum
Публикация: (2007)

Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers /
по: Edelkamp, Stefan
Публикация: (2007)

All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic /
по: Clavel, Manuel
Публикация: (2007)

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /
Публикация: (2013)

Logic for Programming, Aritficial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings
по: Hermann, Miki
Публикация: (2006)

Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452) 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
по: Baader, Franz
Публикация: (2005)

Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835) 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
по: Sutcliffe, Geoff
Публикация: (2005)

Combinatorics on Words 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings /
Публикация: (2015)

Decision Procedures An Algorithmic Point of View /
по: Kroening, Daniel
Публикация: (2008)

Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings /
Публикация: (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,
по: Schmidt, Renate A.
Публикация: (2006)

Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germ
по: Berghammer, Rudolf
Публикация: (2008)

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /
Публикация: (2013)

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers /
Публикация: (2013)

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II /
Публикация: (2014)

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I /
Публикация: (2014)

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings /
Публикация: (2014)

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /
Публикация: (2013)