close
1.

電子ブック
ＥＢ
1. Conditionals and Modularity in General Logics
by Dov M. Gabbay, Karl Schlechta
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Cognitive Technologies ;
オンライン: http://dx.doi.org/10.1007/978-3-642-19068-1
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Tools for Teaching Logic : Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings
edited by Patrick Blackburn, Hans Ditmarsch, María Manzano, Fernando Soler-Toscano
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6680
オンライン: http://dx.doi.org/10.1007/978-3-642-21350-2
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Logic and Games on Automatic Structures : Playing with Quantifiers and Decompositions
by Łukasz Kaiser
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6810
オンライン: http://dx.doi.org/10.1007/978-3-642-22807-0
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Natural Deduction, Hybrid Systems and Modal Logics
by Andrzej Indrzejczak
出版情報: Dordrecht : Springer Science+Business Media B.V., 2010
シリーズ名: Trends in Logic ; 30
オンライン: http://dx.doi.org/10.1007/978-90-481-8785-0
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Theory and Applications of Satisfiability Testing ?ESAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
edited by Hans Kleine Buning, Xishun Zhao
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4996
オンライン: http://dx.doi.org/10.1007/978-3-540-79719-7
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Computer Science Logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 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, Michael Kaminski, Simone Martini
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5213
オンライン: http://dx.doi.org/10.1007/978-3-540-87531-4
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Theory and Applications of Satisfiability Testing - SAT 2007 : 10th International Conference SAT 2007 Lisbon Portugal May 28-31 2007 Proceedings
edited by Joao Marques-Silva Karem A. Sakallah
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2007
シリーズ名: Lecture Notes in Computer Science ; 4501
オンライン: http://dx.doi.org/10.1007/978-3-540-72788-0
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Computer Science Logic : 21st International Workshop CSL 2007 16th Annual Conference of the EACSL Lausanne Switzerland September 11-15 2007. Proceedings
edited by Jacques Duparc Thomas A. Henzinger
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4646
オンライン: http://dx.doi.org/10.1007/978-3-540-74915-8
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conference Seattle WA USA August 12-152006 Proceedings
edited by Armin Biere Carla P. Gomes
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4121
オンライン: http://dx.doi.org/10.1007/11814948
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Computer Science Logic (vol. 4207) : 20th International Workshop CSL 2006 15th Annual Conference of the EACSL Szeged Hungary September 25-292006 Proceedings
edited by Zolt-n -sik
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4207
オンライン: http://dx.doi.org/10.1007/11874683
所蔵情報: loading…