Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings /

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Schneider, Klaus (Επιμελητής έκδοσης), Brandt, Jens (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
Σειρά:	Lecture Notes in Computer Science, 4732
Θέματα:	Computer science. Logic design. Software engineering. Computers. Computer logic. Mathematical logic. Artificial intelligence. Computer Science. Theory of Computation. Mathematical Logic and Formal Languages. Logics and Meanings of Programs. Software Engineering. Artificial Intelligence (incl. Robotics). Logic Design.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings /
Έκδοση: (2005)

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings /
Έκδοση: (2007)

Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings /
Έκδοση: (2005)

Computer Aided Verification 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings /
Έκδοση: (2004)

Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings /
Έκδοση: (2012)

Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings /
Έκδοση: (2006)

Interactive Theorem Proving First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /
Έκδοση: (2010)

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /
Έκδοση: (2015)

Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings /
Έκδοση: (2013)

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /
Έκδοση: (2014)

Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings /
Έκδοση: (2011)

Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings /
Έκδοση: (2017)

Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings /
Έκδοση: (2008)

Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings /
Έκδοση: (2007)

Theorem Proving in Higher Order Logics 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings /
Έκδοση: (1998)

Theorem Proving in Higher Order Logics 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings /
Έκδοση: (2003)

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings /
Έκδοση: (2006)

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /
Έκδοση: (2007)

Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers /
Έκδοση: (2008)

Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings /
Έκδοση: (2005)

Automated Reasoning Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings /
Έκδοση: (2004)

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 /
Έκδοση: (2006)

Automated Deduction – CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings /
Έκδοση: (2011)

Automated Deduction – CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings /
Έκδοση: (2005)

Logic Based Program Synthesis and Transformation 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers /
Έκδοση: (2004)

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /
Έκδοση: (2015)

Decision Procedures An Algorithmic Point of View /
ανά: Kroening, Daniel, κ.ά.
Έκδοση: (2008)

Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /
Έκδοση: (2015)

Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings /
Έκδοση: (2005)

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings /
Έκδοση: (2008)

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings /
Έκδοση: (2005)

Interactive Theorem Proving First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
ανά: Kaufmann, Matt
Έκδοση: (2010)

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings /
Έκδοση: (2007)

Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings /
Έκδοση: (2012)

Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers /
Έκδοση: (2007)

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /
Έκδοση: (2013)

Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings /
Έκδοση: (2011)

Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings /
Έκδοση: (2017)

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /
Έκδοση: (2015)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_f7vlvtidbcmjn4tj57pj1pji6n