東京農工大学が所蔵する図書や雑誌、電子ブックを検索します。
全国の大学図書館等が所蔵する図書や雑誌を検索します。
国内の学術論文を検索します。
国内の学術機関リポジトリに登録された学術情報を検索します。
国立国会図書館や公共図書館等が提供する資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Mathematical Logic and Formal Languages)
該当件数:119件
Proofs and Algorithms : An Introduction to Logic and Computability / by Gilles Dowek
London : Springer-Verlag London Limited , 2011. - (Undergraduate Topics in Computer Science)
電子ブック
Computational Logic and Set Theory : Applying Formalized Logic to Analysis / by Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
London : Springer-Verlag London Limited , 2011
Logical Aspects of Computational Linguistics : 6th International Conference, LACL 2011, Montpellier, France, June 29 – July 1, 2011. Proceedings / edited by Sylvain Pogodalla, Jean-Philippe Prost
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6736)
Quaternions for Computer Graphics / by John Vince
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning : Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday / edited by Marcello Balduccini, Tran Cao Son
Berlin, Heidelberg : Springer Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6565)
Schema Matching and Mapping / edited by Zohra Bellahsene, Angela Bonifati, Erhard Rahm
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg , 2011. - (Data-Centric Systems and Applications)
Logic, Language, and Computation : 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers / edited by Nick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe, Luca Spada
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6618)
Computation, Cooperation, and Life : Essays Dedicated to Gheorghe Păun on the Occasion of His 60th Birthday / edited by Jozef Kelemen, Alica Kelemenová
Berlin, Heidelberg : Springer Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6610)
Conditionals and Modularity in General Logics / by Dov M. Gabbay, Karl Schlechta
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg , 2011. - (Cognitive Technologies)
Automated Reasoning with Analytic Tableaux and Related Methods : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings / edited by Kai Brünnler, George Metcalfe
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6793)
Argumentation in Multi-Agent Systems : 7th International Workshop, ArgMAS 2010 Toronto, ON, Canada, May 10, 2010 Revised, Selected and Invited Papers / edited by Peter McBurney, Iyad Rahwan, Simon Parsons
Berlin, Heidelberg : Springer Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6614)
Formal Methods for Eternal Networked Software Systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures / edited by Marco Bernardo, Valérie Issarny
Berlin, Heidelberg : Springer Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6659)
Applications and Theory of Petri Nets : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings / edited by Lars M. Kristensen, Laure Petrucci
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6709)
Studies in Complexity and Cryptography. Miscellanea on the Interplay between Randomness and Computation : In Collaboration with Lidor Avigad, Mihir Bellare, Zvika Brakerski, Shafi Goldwasser, Shai Halevi, Tali Kaufman, Leonid Levin, Noam Nisan, Dana Ron, Madhu Sudan, Luca Trevisan, Salil Vadhan, Avi Wigderson, David Zuckerman / edited by Oded Goldreich
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6650)
Tests and Proofs : 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings / edited by Martin Gogolla, Burkhart Wolff
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6706)
Logic and Grammar : Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday / edited by Sylvain Pogodalla, Myriam Quatrini, Christian Retoré
Berlin, Heidelberg : Springer Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6700)
Model Checking Software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings / edited by Alex Groce, Madanlal Musuvathi
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6823)
Trends in Functional Programming : 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers / edited by Rex Page, Zoltán Horváth, Viktória Zsók
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6546)
Automated Deduction – CADE-23 : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings / edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6803)
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)