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. From Boolean Logic to Switching Circuits and Automata : Towards Modern Information Technology
by Radomir S. Stanković, Jaakko Astola
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Studies in Computational Intelligence ; 335
オンライン: http://dx.doi.org/10.1007/978-3-642-11682-7
所蔵情報: loading…
4.

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

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

電子ブック
ＥＢ
6. Proof Theory for Fuzzy Logics
by George Metcalfe, Nicola Olivetti, Dov Gabbay ; edited by Dov M. Gabbay, Jon Barwise
出版情報: Dordrecht : Springer Netherlands, 2009
シリーズ名: Applied Logic Series ; 36
オンライン: http://dx.doi.org/10.1007/978-1-4020-9409-5
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. A Missing Link in Cybernetics : Logic and Continuity
by Alex M. Andrew
出版情報: New York, NY : Springer-Verlag New York, 2009
シリーズ名: IFSR International Series on Systems Science and Engineering ; 26
オンライン: http://dx.doi.org/10.1007/978-0-387-75164-1
所蔵情報: loading…
8.

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

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

電子ブック
ＥＢ
10. New Developments in Formal Languages and Applications
edited by Gemma Bel-Enguix, M. Dolores Jimenez-Lopez, Carlos Martin-Vide
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
シリーズ名: Studies in Computational Intelligence ; 113
オンライン: http://dx.doi.org/10.1007/978-3-540-78291-9
所蔵情報: loading…
11.

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

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

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

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

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

電子ブック
ＥＢ
16. Theory and Applications of Satisfiability Testing (vol. # 3569) : 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
edited by Fahiem Bacchus, Toby Walsh
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3569
オンライン: http://dx.doi.org/10.1007/b137280
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Theory and Applications of Satisfiability Testing (vol. # 3542) : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
edited by Holger H. Hoos, David G. Mitchell
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3542
オンライン: http://dx.doi.org/10.1007/11527695
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. Computer Science Logic (vol. # 3634) : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
edited by Luke Ong
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3634
オンライン: http://dx.doi.org/10.1007/11538363
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Processes, Terms and Cycles: Steps on the Road to Infinity : Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
edited by Roel de Vrijer, Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3838
オンライン: http://dx.doi.org/10.1007/11601548
所蔵情報: loading…