Automated Deduction ?ECADE-21 : 21st International Conference on Automated Deduction Bremen Germany July 17-20 2007 Proceedings

>> Google Books

Automated Deduction ?ECADE-21 : 21st International Conference on Automated Deduction Bremen Germany July 17-20 2007 Proceedings

フォーマット:

電子ブック

責任表示:

edited by Frank Pfenning

言語:

英語

出版情報:

Berlin Heidelberg : Springer-Verlag, 2007

形態:

v.: digital

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 4603

書誌ID:

NB02218898

ISBN:

9783540735953 [354073595X]

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

子書誌情報

オンライン

http://dx.doi.org/10.1007/978-3-540-73595-3

所蔵情報

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

詳細

主題:	Artificial Intelligence (incl. Robotics); Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Engineering
分類・件名:	LCSH : Computer science LCSH : Logic design LCSH : Software engineering FREE : Computer Science FREE : Artificial Intelligence (incl. Robotics) FREE : Software Engineering FREE : Logics and Meanings of Programs FREE : Mathematical Logic and Formal Languages LCSH : Artificial intelligence
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Automated Deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings Nieuwenhuis, Robert, SpringerLink (Online service) Springer-Verlag GmbH.	7 電子ブック Computer Aided Verification : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings Hutchison, David, Terzopoulos, Demetri, Bouajjani, Ahmed, Weikum, Gerhard, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, … Springer Berlin Heidelberg
2 電子ブック Automated Deduction – CADE-23 : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings Bjørner, Nikolaj, Sofronie-Stokkermans, Viorica, SpringerLink (Online service) Springer-Verlag GmbH Berlin Heidelberg	8 電子ブック Automated Reasoning : Third International Joint Conference IJCAR 2006 Seattle WA USA August 17-202006 Proceedings Furbach Ulrich, Shankar Natarajan, SpringerLink (Online service) Springer-Verlag GmbH.
3 電子ブック Computer Aided Verification : 19th International Conference CAV 2007 Berlin Germany July 3-7 2007. Proceedings Damm Werner, Hermanns Holger, SpringerLink (Online service) Springer-Verlag	9 電子ブック Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings Gopalakrishnan, Ganesh, Qadeer, Shaz, SpringerLink (Online service) Springer-Verlag GmbH Berlin Heidelberg
4 電子ブック Automated Reasoning with Analytic Tableaux and Related Methods : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings Brünnler, Kai, Metcalfe, George, SpringerLink (Online service) Springer-Verlag GmbH Berlin Heidelberg	10 電子ブック Computer Aided Verification (vol. # 3576) : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings Etessami, Kousha, Rajamani, Sriram K., SpringerLink (Online service) Springer-Verlag GmbH.
5 電子ブック 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	11 電子ブック 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
6 電子ブック Term Rewriting and Applications (vol. 4098) : 17th International Conference RTA 2006 Seattle WA USA August 12-142006 Proceedings Pfenning Frank, SpringerLink (Online service) Springer-Verlag GmbH.	12 電子ブック Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings Hutchison, David, Malik, Sharad, Pandu Rangan, C., Steffen, Bernhard, Kanade, Takeo, Nierstrasz, Oscar, Mattern, … Springer-Verlag