Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

>> Google Books

Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

フォーマット:

電子ブック

責任表示:

edited by Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel

言語:

英語

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

形態:

v.: digital

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 5674

書誌ID:

NB02220620

ISBN:

9783642033599 [3642033598]

学内からのみアクセスすることができます。

子書誌情報

オンライン

http://dx.doi.org/10.1007/978-3-642-03359-9

所蔵情報

タイトルが類似している資料

詳細

主題:	Algorithm Analysis and Problem Complexity; Computer Science; Discrete Mathematics in Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Mathematics of Computing; Models and Principles
分類・件名:	FREE : Discrete Mathematics in Computer Science FREE : Algorithm Analysis and Problem Complexity FREE : Mathematics of Computing FREE : Logics and Meanings of Programs FREE : Mathematical Logic and Formal Languages LCSH : Computer software LCSH : Computational complexity LCSH : Logic design LCSH : Computer science FREE : Models and Principles FREE : Computer Science
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Theorem Proving in Higher Order Logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings Hurd, Joe, Melham, Tom, SpringerLink (Online service) Springer-Verlag GmbH.	7 電子ブック Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings Hutchison, David, Vardi, Moshe Y., Kittler, Josef, Mohamed, Otmane Ait, Munoz, Cesar, Steffen, Bernhard, Sudan, Madhu, … Springer
2 電子ブック The Mathematics of Language : 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, … Ebert, Christian, Jager, Gerhard, Michaelis, Jens, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg	8 電子ブック Abstract State Machines, Alloy, B and Z : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings Frappier, Marc, Glasser, Uwe, Khurshid, Sarfraz, Laleau, Regine, Reeves, Steve, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg
3 電子ブック Theory and Applications of Models of Computation : 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings Hutchison, David, Pandu Rangan, C., Mattern, Friedemann, Tygar, Doug, Terzopoulos, Demetri, Steffen, Bernhard, … Springer Berlin Heidelberg	9 電子ブック Foundations of Information and Knowledge Systems : 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings Link, Sebastian, Prade, Henri, SpringerLink (Online service) Springer Berlin Heidelberg
4 電子ブック Fundamentals of Computation Theory : 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings Owe, Olaf, Steffen, Martin, Telle, Jan Arne, SpringerLink (Online service) Springer-Verlag GmbH Berlin Heidelberg	10 電子ブック Computational Logic in Multi-Agent Systems : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers Fisher, Michael, Thielscher, Michael, Sadri, Fariba, SpringerLink (Online service) Springer Berlin Heidelberg
5 電子ブック Fundamentals of Computation Theory : 17th International Symposium, FCT 2009, Wroc?aw, Poland, September 2-4, 2009. Proceedings Kuty?owski, Miros?aw, Charatonik, Witold, G?bala, Maciej, SpringerLink (Online service) Springer Berlin Heidelberg	11 電子ブック Algebraic Informatics : Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings Bozapalidis, Symeon, Rahonis, George, SpringerLink (Online service) Springer Berlin Heidelberg
6 電子ブック Theorem Proving in Higher Order Logics : 20th International Conference TPHOLs 2007 Kaiserslautern Germany September 10-13 2007. Proceedings Schneider Klaus, Brandt Jens, SpringerLink (Online service) Springer-Verlag	12 電子ブック Developments in Language Theory : 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings Hutchison, David, Terzopoulos, Demetri, Steffen, Bernhard, Kleinberg, Jon M., Tygar, Doug, Kanade, Takeo, Weikum, … Springer Berlin Heidelberg