同志社大学の蔵書を検索
本学蔵書と電子資料をまとめて検索
同志社女子大学の蔵書を検索
他大学の蔵書を検索
国内の論文を検索
国立国会図書館NDLサーチを検索
同志社大学の蔵書を検索した結果です。電子書籍/電子ジャーナルは書誌詳細画面のリンクから利用できます。
検索キーワード:(件名: Logic Symbolic and mathematical Congresses)
該当件数:51件
Principles of truth / Volker Halbach, Leon Horsten [eds.]
2nd ed. - Frankfurt : Ontos , 2004. - (Epistemische Studien : Schriften zur Erkenntnis- und Wissenschaftstheorie / edited by Michael Esfeld, Stephan Hartmann, Mike Sandbothe ; Bd.1, vol.1)
図書 <BB13144780>
Kurt Gödel : essays for his centennial / edited by Solomon Feferman, Charles Parsons, Steven G. Simpson
Cambridge : Cambridge University Press , 2010. - (Lecture notes in logic ; 33)
図書 <BB12258574>
Mathematical logic and its applications / edited by Dimiter G. Skordev
New York : Plenum Press , c1987
電子書籍 <OB00848101>
Logic and foundations of mathematics : selected contributed papers of the Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995 / edited by Andrea Cantini, Ettore Casari, Pierluigi Minari
Dordrecht : Kluwer Academic , c1999. - (Synthese library ; v. 280)
図書 <BB00455521>
Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 / J. Shinoda, T.A. Slaman, T. Tugué (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in mathematics ; 1388)
図書 <BB00100671>
Mathematical logic : proceedings of the first Brazilian Conference / edited by Ayda I. Arruda, Newton C.A. da Costa, Rolando Chuaqui
New York : M. Dekker , c1978. - (Lecture notes in pure and applied mathematics ; v. 39)
図書 <BB00033699>
Cambridge Summer School in Mathematical Logic : held in Cambridge/England, August 1-21, 1971 : [papers] / edited by A.R.D. Mathias, H. Rogers
: Germany,: U.S.. - Berlin ; New York : Springer-Verlag , 1973. - (Lecture notes in mathematics ; 337)
図書 <BB00059272>
Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 / edited by A.I. Arruda, R. Chuaqui, N.C.A. da Costa
Amsterdam ; New York : North-Holland Pub. Co.. - New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland , 1980. - (Studies in logic and the foundations of mathematics ; v. 99)
図書 <BB00063068>
Conference in Mathematical Logic, London '70 : [proceedings] / edited by Wilfrid Hodges
: Germany,: U.S.. - Berlin ; New York : Springer-Verlag , 1972. - (Lecture notes in mathematics ; 255)
図書 <BB00064331>
Logic Colloquium : symposium on logic held at Boston, 1972-73 / edited by R. Parikh
: Germany,: U.S.. - Berlin ; New York : Springer-Verlag , 1975. - (Lecture notes in mathematics ; 453)
図書 <BB00002226>
acid-free paper. - Dordrecht ; Boston : Kluwer Academic Publishers , c1999. - (Synthese library ; v. 280)
電子書籍 <OB00868302>
Mathematical logic / edited by Petio Petrov Petkov
New York : Plenum Press , c1990
電子書籍 <OB00868363>
Conference in Mathematical Logic, London '70 / Edited by Wilfrid Hodges
New York. - Berlin ; New York : Springer-Verlag , 1972
電子書籍 <OB00846998>
LFMTP '13 : proceedings of the 2013 ACM SIGPLAN Workshop on Logical Frameworks & Meta-Languages : Theory & Practice : September 23, 2013, Boston, Massachusetts, USA / sponsored by ACM SIGPLAN
print. - New York : ACM , 2013
電子書籍 <OB00824671>
LFMTP 2014 : proceedings of the ninth International Workshop on Logical Frameworks and Meta-Languages : Theory and Practice : July 17, 2014, Vienna, Austria / program chairs, Amy Felty and Brigitte Pientka
print. - New York : ACM , 2014
電子書籍 <OB00824672>
LFMTP 2016 : proceedings of the eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice : Porto, Portugal / program chairs, Gilles Dowek and Daniel R. Licata
New York : ACM , 2016
電子書籍 <OB00824673>
Proceedings of the Workshop on Logical Frameworks and Meta-Languages : Theory and Practice : held in Oxford on 2017-09-08 at the Conference on Formal Structures for Computation and Deduction / organizers and program chairs, Marino Miculan, Florian Rabe
New York : ACM , 2017
電子書籍 <OB00824821>
LFMTP'12 : proceedings of the ACM SIGPLAN Workshop on Logical Frameworks and Meta Languages, Theory and Practice : September 9, 2012, Copenhagen, Denmark / sponsored by ACM SIGPLAN
print. - New York : ACM , 2012
電子書籍 <OB00746105>
Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics / edited by Hugues Leblanc
Amsterdam : North-Holland , 1973. - (Studies in logic and the foundations of mathematics ; v. 68)
図書 <BB00064124>
Applied logic : how, what and why : logical approaches to natural language / edited by László Pólos and Michael Masuch
Dordrecht ; Boston : Kluwer Academic Publishers , c1995. - (Synthese library ; v. 247)
図書 <BB00300796>
Frontiers of combining systems : first international workshop, Munich, March 1996 / edited by Franz Baader and Klaus U. Schulz
Dordrecht ; Boston : Kluwer Academic Publishers , c1996. - (Applied logic series ; v. 3)
図書 <BB00330582>
ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by G.H. Müller, A. Oberschelp, K. Potthoff
: gw,: u.s.. - Berlin ; New York : Springer-Verlag , 1975. - (Lecture notes in mathematics ; 499)
図書 <BB00002177>
Logic from computer science : proceedings of a workshop held November 13-17, 1989 / Y.N. Moschovakis, editor
alk. paper. - New York : Springer-Verlag , c1992
電子書籍 <OB00868304>
HB : alk. paper. - Dordrecht ; Boston : Kluwer Academic Publishers , c1996. - (Applied logic series ; v. 3)
電子書籍 <OB00867750>
Model theory and applications : lectures given at the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 20-28, 1975 / P. Mangani (ed.)
Berlin ; New York : Springer : Firenze : C.I.M.E. Foundation , 2010
電子書籍 <OB01026398>
Frege : importance and legacy / edited by Matthias Schirn
Berlin ; New York : Walter de Gruyter , 1996. - (Perspektiven der analytischen Philosophie = Perspectives in analytical philosophy ; Bd. 13)
図書 <BB00340650>
Logic, methodology and philosophy of science IV : Proceedings / edited by Patrick Suppes [et al.]
Amsterdam : North-Holland Pub. Co.. - New York : American Elsevier Pub. Co. , 1973. - (Studies in logic and the foundations of mathematics ; v. 74)
図書 <BB00103079>
Logic, methodology, and philosophy of science : proceedings of the 1960 International Congress, Stanford, 1960 / edited by L. Ernest Nagel [et al.]
Stanford : Stanford University Press , 1962
図書 <BB00092717>
Foundation of the formal sciences II : applications of mathematical logic in philosophy and linguistics, papers of a conference held in Bonn, November 10-13, 2000 / edited by Benedikt Löwe, Wolfgang Malzkom, and Thoralf Räsch
acid-free paper. - Dordrecht ; Boston : Kluwer Academic Publishers , c2003. - (Trends in logic ; v. 17)
電子書籍 <OB01024704>
Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October, 7-11, 1991 : proceedings / E. Börger ... [et al.], eds
: gw,: us. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 626)
図書 <BB00210669>
Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings / D. Kapur (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1992. - (Lecture notes in computer science ; 607 . Lecture notes in artificial intelligence)
図書 <BB00194597>
Dynamic formal epistemology / edited by Patrick Girard, Olivier Roy and Mathieu Marion
Dordrecht : Springer , c2011. - (Synthese library ; v. 351)
図書 <BB12214945>
Proceedings of the 2013 28th annual ACM/IEEE Symposium on Logic in Computer Science / sponsor ACM Special Interest Group on Algorithms and Computation Theory
print. - Washington, District of Columbia : IEEE Computer Society , 2013
電子書籍 <OB00748149>
Cultures of mathematics and logic : selected papers from the conference in Guangzhou, China, November 9-12, 2012 / Shier Ju ... [et al.], editors
: [hardback]. - [Cham] : Birkhäuser , c2016. - (Trends in the history of science)
図書 <BB12978496>
Aspects of mathematical logic : lectures given at the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, September 9-17, 1968 / E. Casari (ed.)
電子書籍 <OB01023451>
Towards mathematical philosophy : papers from the Studia Logica Conference Trends in Logic IV / edited by David Makinson, Jacek Malinowski, Heinrich Wansing
Dordrecht ; London : Springer , 2008
電子書籍 <OB01028499>
Intelligent computer mathematics : 10th international conference, AISC 2010, 17th Symposium, Calculemus 2010 and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings / Serge Autexier ... [et al] (eds.)
pbk. : alk. paper,pbk. : alk. paper. - Berlin ; New York : Springer , c2010. - (Lecture notes in computer science ISSN:0302-9743 ; 6167). - (LNCS sublibrary. SL 7, Artificial intelligence)
電子書籍 <OB00745875>
Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings / D. Pearce, H. Wansing (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 619 . Lecture notes in artificial intelligence)
図書 <BB00206325>
Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 : proceedings / A. Nerode, M. Taitslin (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 620)
図書 <BB00198033>
Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 / S. Homer ... [et al.] ; editor, P. Odifreddi
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990. - (Lecture notes in mathematics ; 1429 . Fondazione C.I.M.E., Firenze)
図書 <BB00127053>
Language, quantum, music : selected contributed papers of the Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995 / edited by Maria Luisa Dalla Chiara, Roberto Giuntini, Federico Laudisa
Dordrecht ; Boston : Kluwer Academic , 1999. - (Synthese library ; v. 281)
図書 <BB00448899>
Toposes, algebraic geometry and logic / I. Bucur ... [et al.] ; edited by F.W. Lawvere
: u.s.,: gw. - Berlin : Springer-Verlag , 1972. - (Lecture notes in mathematics ; 274)
図書 <BB00092967>
Berlin ; New York : Springer-Verlag , c1990
電子書籍 <OB00868301>
Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California / edited by Joseph Y. Halpern ; cosponsored by IBM, American Association of Artificial Intelligence, and the Office of Naval Research, in cooperation with Association for Computing Machinery
Los Altos, Calif. : M. Kaufmann Publishers , c1986
図書 <BB00004916>
TARK XIII : Theoretical Aspects of Rationality and Knowledge : proceedings of the thirteenth Conference (TARK 2011) / edited by Krzysztof R. Apt
print. - New York : ACM , 2011
電子書籍 <OB00751720>
Frege und die moderne Grundlagenforschung : Symposium, gehalten in Bad Homburg im Dezember 1973 / herausgegeben von Christian Thiel
Meisenheim am Glan : Hain , 1975. - (Studien zur Wissenschaftstheorie ; Bd. 9)
図書 <BB00055344>
SNC 2014 : proceedings of the 2014 Symposium on Symbolic-Numeric Computation : July 28-31, 2014, Shanghai, China / Stephen M. Watt, Jan Verschelde, Lihong Zhi, (editors) ; in-cooperation ACM SIGSAM
電子書籍 <OB00751583>
SNC'07 : proceedings of the 2007 International Workshop on Symbolic-Numeric Computation, London (Ontario, Canada), July 25-27, 2007 / edited by Jan Verschelde &Stephen M. Watt
pbk.. - New York : ACM , c2007
電子書籍 <OB00751584>
Symbolic-numeric computation / Dongming Wang, Lihong Zhi, editors
alk. paper,alk. paper. - Boston : Birkhauser Verlag AG Basel Boston Berlin , c2007
電子書籍 <OB01028248>
Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia / edited by J. N. Crossley
: Germany,: U.S.. - Berlin ; New York : Springer-Verlag , 1975. - (Lecture notes in mathematics ; 450)
図書 <BB00007693>