close
1.

電子ブック
ＥＢ
1. Model Checking and Artificial Intelligence : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Randy Goebel, Jorg Siekmann, Wolfgang Wahlster, Doron A. Peled, Michael J. Wooldridge
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5348
オンライン: http://dx.doi.org/10.1007/978-3-642-00431-5
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Logic-Based Program Synthesis and Transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Michael Hanus
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5438
オンライン: http://dx.doi.org/10.1007/978-3-642-00515-2
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Formal Concept Analysis : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Randy Goebel, Jorg Siekmann, Wolfgang Wahlster, Sebastien Ferre, Sebastian Rudolph
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5548
オンライン: http://dx.doi.org/10.1007/978-3-642-01815-2
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Computer Aided Verification : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Ahmed Bouajjani, Oded Maler
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5643
オンライン: http://dx.doi.org/10.1007/978-3-642-02658-4
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Semantics and Algebraic Specification : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
edited by Jens Palsberg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5700
オンライン: http://dx.doi.org/10.1007/978-3-642-04164-8
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings
edited by Silvio Ghilardi, Roberto Sebastiani
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5749
オンライン: http://dx.doi.org/10.1007/978-3-642-04222-5
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Logic Programming and Nonmonotonic Reasoning : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
edited by Esra Erdem, Fangzhen Lin, Torsten Schaub
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5753
オンライン: http://dx.doi.org/10.1007/978-3-642-04238-6
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Scalable Uncertainty Management : Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009. Proceedings
edited by Lluis Godo, Andrea Pugliese
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5785
オンライン: http://dx.doi.org/10.1007/978-3-642-04388-8
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Automated Reasoning with Analytic Tableaux and Related Methods : 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings
edited by Martin Giese, Arild Waaler
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5607
オンライン: http://dx.doi.org/10.1007/978-3-642-02716-1
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
edited by Pierpaolo Degano, Rocco Nicola, Jose Meseguer
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5065
オンライン: http://dx.doi.org/10.1007/978-3-540-68679-8
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Aarti Gupta, Sharad Malik
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5123
オンライン: http://dx.doi.org/10.1007/978-3-540-70545-1
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Otmane Ait Mohamed, Cesar Munoz, Sofiene Tahar
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 5170
オンライン: http://dx.doi.org/10.1007/978-3-540-71067-7
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. Automated Reasoning : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings
edited by Jaime G. Carbonell, J¥org Siekmann, Alessandro Armando, Peter Baumgartner, Gilles Dowek
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5195
オンライン: http://dx.doi.org/10.1007/978-3-540-71070-7
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. Conceptual Modeling - ER 2007 : 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings
Parent, Christine ; Schewe, Klaus-Dieter ; Thalheim, Bernhard ; Storey, Veda C. ; SpringerLink (Online service)
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4801
オンライン: http://dx.doi.org/10.1007/978-3-540-75563-0
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Active Conceptual Modeling of Learning : Next Generation Learning-Base System Development
edited by Peter P. Chen, Leah Y. Wong
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4512
オンライン: http://dx.doi.org/10.1007/978-3-540-77503-4
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. Formal Concept Analysis : 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings
edited by Raoul Medina, Sergei Obiedkov
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4933
オンライン: http://dx.doi.org/10.1007/978-3-540-78137-0
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. 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
edited b
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4959
オンライン: http://dx.doi.org/10.1007/978-3-540-78791-4
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. 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, Frauenworth, Germ
Berghammer, Rudolf ; Moller, Bernhard ; Struth, Georg ; SpringerLink (Online service)
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4988
オンライン: http://dx.doi.org/10.1007/978-3-540-78913-0
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Jose Meseguer, Grigore Ro?u
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5140
オンライン: http://dx.doi.org/10.1007/978-3-540-79980-1
所蔵情報: loading…
20.

電子ブック
ＥＢ
20. Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
edited by Jaime G. Carbonell, Jorg Siekmann, Iliano Cervesato, Helmut Veith, Andrei Voronkov
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 5330
オンライン: http://dx.doi.org/10.1007/978-3-540-89439-1
所蔵情報: loading…
21.

電子ブック
ＥＢ
21. 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…
22.

電子ブック
ＥＢ
22. 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…
23.

電子ブック
ＥＢ
23. Formal Concept Analysis : 5th International Conference ICFCA 2007 Clermont-Ferrand France February 12-16 2007. Proceedings
edited by Sergei O. Kuznetsov Stefan Schmidt
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4390
オンライン: http://dx.doi.org/10.1007/978-3-540-70901-5
所蔵情報: loading…
24.

電子ブック
ＥＢ
24. All About Maude - A High-Performance Logical Framework : How to Specify Program and Verify Systems in Rewriting Logic
by Manuel Clavel Francisco Duran Steven Eker Patrick Lincoln Narciso Marti-Oliet et al
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4350
オンライン: http://dx.doi.org/10.1007/978-3-540-71999-1
所蔵情報: loading…
25.

電子ブック
ＥＢ
25. Automated Reasoning with Analytic Tableaux and Related Methods : 16th International Conference TABLEAUX 2007 Aix en Provence France July 3-6 2007. Proceedings
edited by Nicola Olivetti
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4548
オンライン: http://dx.doi.org/10.1007/978-3-540-73099-6
所蔵情報: loading…
26.

電子ブック
ＥＢ
26. 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…
27.

電子ブック
ＥＢ
27. 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…
28.

電子ブック
ＥＢ
28. 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…
29.

電子ブック
ＥＢ
29. 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…
30.

電子ブック
ＥＢ
30. Frontiers of Combining Systems : 6th International Symposium FroCoS 2007 Liverpool UK September 10-12 2007 Proceedings
edited by Boris Konev Frank Wolter
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4720
オンライン: http://dx.doi.org/10.1007/978-3-540-74621-8
所蔵情報: loading…
31.

電子ブック
ＥＢ
31. The Seventeen Provers of the World : Foreword by Dana S. Scott
edited by Freek Wiedijk
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3600
オンライン: http://dx.doi.org/10.1007/11542384
所蔵情報: loading…
32.

電子ブック
ＥＢ
32. Formal Concept Analysis (vol. 3874) : 4th International Conference ICFCA 2006 Dresden Germany Feburary 13-172006 Proceedings
edited by Rokia Missaoui J-rg Schmid
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3874
オンライン: http://dx.doi.org/10.1007/11671404
所蔵情報: loading…
33.

電子ブック
ＥＢ
33. 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-312006 Proceedings
Mycroft Alan ; Zeller Andreas ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3923
オンライン: http://dx.doi.org/10.1007/11688839
所蔵情報: loading…
34.

電子ブック
ＥＢ
34. Relational Methods in Computer Science : 8th International Seminar on Relational Methods in Computer Science 3rd International Workshop on Applications of Kleene Algebra Workshop of COST Action 274: TARSKI St. Catharin
MacCaull Wendy ; Winter Michael ; D-ntsch Ivo ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3929
オンライン: http://dx.doi.org/10.1007/11734673
所蔵情報: loading…
35.

電子ブック
ＥＢ
35. Algebraic Methodology and Software Technology : 11th International Conference AMAST 2006 Kuressaare Estonia July 5-82006 Proceedings
edited by Michael Johnson Varmo Vene
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4019
オンライン: http://dx.doi.org/10.1007/11784180
所蔵情報: loading…
36.

電子ブック
ＥＢ
36. Automated Reasoning : Third International Joint Conference IJCAR 2006 Seattle WA USA August 17-202006 Proceedings
edited by Ulrich Furbach Natarajan Shankar
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4130
オンライン: http://dx.doi.org/10.1007/11814771
所蔵情報: loading…
37.

電子ブック
ＥＢ
37. Computer Aided Verification (vol. 4144) : 18th International Conference CAV 2006 Seattle WA USA August 17-202006 Proceedings
edited by Thomas Ball Robert B. Jones
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4144
オンライン: http://dx.doi.org/10.1007/11817963
所蔵情報: loading…
38.

電子ブック
ＥＢ
38. 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. ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4136
オンライン: http://dx.doi.org/10.1007/11828563
所蔵情報: loading…
39.

電子ブック
ＥＢ
39. Principles and Practice of Semantic Web Reasoning (vol. 4187) : 4th International Workshop PPSWR 2006 Budva Montenegro June 10-112006 Revised Selected Papers
edited by Jos- J-lio Alferes James Bailey Wolfgang
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4187
オンライン: http://dx.doi.org/10.1007/11853107
所蔵情報: loading…
40.

電子ブック
ＥＢ
40. Conceptual Modeling - ER 2006 : 25th International Conference on Conceptual Modeling Tucson AZ USA November 6-92006 Proceedings
edited by David W. Embley Antoni Oliv- Sudha Ram
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4215
オンライン: http://dx.doi.org/10.1007/11901181
所蔵情報: loading…
41.

電子ブック
ＥＢ
41. Logic for Programming Aritficial Intelligence and Reasoning : 13th International Conference LPAR 2006 Phnom Penh Cambodia November 13-172006 Proceedings
edited by Miki Hermann Andrei Voronkov
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4246
オンライン: http://dx.doi.org/10.1007/11916277
所蔵情報: loading…
42.

電子ブック
ＥＢ
42. Formal Concept Analysis (vol. # 3403) : Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings
edited by Bernhard Ganter, Robert Godin
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3403
オンライン: http://dx.doi.org/10.1007/b105806
所蔵情報: loading…
43.

電子ブック
ＥＢ
43. Mechanizing Mathematical Reasoning : Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday
edited by Dieter Hutter, Werner Stephan
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 2605
オンライン: http://dx.doi.org/10.1007/b106663
所蔵情報: loading…
44.

電子ブック
ＥＢ
44. Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452) : 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
edited by Franz Baader, Andrei Voronkov
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3452
オンライン: http://dx.doi.org/10.1007/b106931
所蔵情報: loading…
45.

電子ブック
ＥＢ
45. 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
edited by Rastislav Bodik
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3443
オンライン: http://dx.doi.org/10.1007/b107108
所蔵情報: loading…
46.

電子ブック
ＥＢ
46. Computer Aided Verification (vol. # 3576) : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
edited by Kousha Etessami, Sriram K. Rajamani
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3576
オンライン: http://dx.doi.org/10.1007/b138445
所蔵情報: loading…
47.

電子ブック
ＥＢ
47. Automated Deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
edited by Robert Nieuwenhuis
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3632
オンライン: http://dx.doi.org/10.1007/11532231
所蔵情報: loading…
48.

電子ブック
ＥＢ
48. Theorem Proving in Higher Order Logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
edited by Joe Hurd, Tom Melham
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3603
オンライン: http://dx.doi.org/10.1007/11541868
所蔵情報: loading…
49.

電子ブック
ＥＢ
49. Principles and Practice of Semantic Web Reasoning (vol. # 3703) : Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings
edited by Francois Fages, Sylvain Soliman
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3703
オンライン: http://dx.doi.org/10.1007/11552222
所蔵情報: loading…
50.

電子ブック
ＥＢ
50. Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
edited by Bernhard Beckert
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3702
オンライン: http://dx.doi.org/10.1007/11554554
所蔵情報: loading…