close
1.

電子ブック
ＥＢ
1. Logic for Programming Artificial Intelligence and Reasoning : 14th International Conference LPAR 2007 Yerevan Armenia October 15-19 2007. Proceedings
edited by Nachum Dershowitz Andrei Voronkov
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4790
オンライン: http://dx.doi.org/10.1007/978-3-540-75560-9
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Verification of Object-Oriented Software. The KeY Approach : Foreword by K. Rustan M. Leino
edited by Bernhard Beckert Reiner Hahnle Peter H. Schmitt
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4334
オンライン: http://dx.doi.org/10.1007/978-3-540-69061-0
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Agent-Oriented Software Engineering VII : 7th International Workshop AOSE 2006 Hakodate Japan May 82006 Revised and Invited Papers
edited by Lin Padgham Franco Zambonelli
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4405
オンライン: http://dx.doi.org/10.1007/978-3-540-70945-9
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Programming Multi-Agent Systems : 4th International Workshop ProMAS 2006 Hakodate Japan May 92006 Revised and Invited Papers
edited by Rafael H. Bordini Mehdi Dastani Jurgen Dix Amal El Fallah Seghrouchni
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4411
オンライン: http://dx.doi.org/10.1007/978-3-540-71956-4
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Web Reasoning and Rule Systems : First International Conference RR 2007 Innsbruck Austria June 7-82007 Proceedings
edited by Massimo Marchiori Jeff Z. Pan Christian de Sainte Marie
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2007
シリーズ名: Lecture Notes in Computer Science ; 4524
オンライン: http://dx.doi.org/10.1007/978-3-540-72982-2
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Computer Aided Verification : 19th International Conference CAV 2007 Berlin Germany July 3-7 2007. Proceedings
edited by Werner Damm Holger Hermanns
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4590
オンライン: http://dx.doi.org/10.1007/978-3-540-73368-3
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. 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
シリーズ名: Lecture Notes in Computer Science ; 4603
オンライン: http://dx.doi.org/10.1007/978-3-540-73595-3
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Model Checking and Artificial Intelligence : 4th Workshop MoChArt IV Riva del Garda Italy August 292006 Revised Selected and Invited Papers
edited by Stefan Edelkamp Alessio Lomuscio
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4428
オンライン: http://dx.doi.org/10.1007/978-3-540-74128-2
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Coordination Organizations Institutions and Norms in Agent Systems II : AAMAS 2006 and ECAI 2006 International Workshops COIN 2006 Hakodate Japan May 9 2006 Riva del Garda Italy August 28 2006. Revised Selected Papers
Noriega Pablo ; Dignum Virginia ; Boissier Olivier ; Matson Eric ; Vazquez-Salceda Javier ; Boella Guido ; Fornara Nicoletta ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4386
オンライン: http://dx.doi.org/10.1007/978-3-540-74459-7
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Theorem Proving in Higher Order Logics : 20th International Conference TPHOLs 2007 Kaiserslautern Germany September 10-13 2007. Proceedings
edited by Klaus Schneider Jens Brandt
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4732
オンライン: http://dx.doi.org/10.1007/978-3-540-74591-4
所蔵情報: loading…