鄰近 美國國會圖書館分類號 是:
Result Page   Prev Next
儲存已註記</a>
<span name='save_page_btn1' id='save_page_btn1' style='visibility: visible' ><a href= 儲存本頁所有記錄
選取   資料類型
F 4.1 F9967 : 資訊所圖書室, 數學所圖書室 ; 紙本資料     
      Fuzzy set theory and advanced mathematical applications / edited by Da Ruan ; [foreword by Hans-Jürgen Zimmermann] 在架上   紙本資料 c1995
F 4.1 F9967 1995 : International Symposium on Fuzzy Logic; 資訊所圖書室; 紙本資料     
      Proceedings of the international ICSC symposium on fuzzy logic : May 26-27, 1995, Swiss Federal Institute of Technology (ETH), Zurich, Switzerland / editor: N.C. Steele International Symposium on Fuzzy Logic; 館內使用   紙本資料 c1995
F 4.1 F9967 1997 : 資訊所圖書室; 紙本資料     
      Computational intelligence : theory and applications : international conference, 5th fuzzy days, Dortmund, Germany, April 28-30 1997 : proceedings / Bernd Reusch (ed.) 館內使用   紙本資料 c1997
F 4.1 F9967 1999 : 資訊所圖書室; 紙本資料     
      Computational intelligence : theory and applications : international conference, 6th fuzzy days, Dortmund, Germany, May 1999 : proceedings / Bernd Reusch (ed.) 館內使用   紙本資料 c1999
F 4.1 F9967 2001 : Dortmunder Fuzzy-Tage; 資訊所圖書室; 紙本資料     
      Computational intelligence : theory and applications : international conference, 7th Fuzzy Days, Dortmund, Germany, October 1-3, 2001 : proceedings / Bernd Reusch (ed.) Dortmunder Fuzzy-Tage; 館內使用   紙本資料 2001
F 4.1 G211 : Ganter, Bernhard; 資訊所圖書室; 紙本資料     
      Formal concept analysis : mathematical foundations / Bernhard Ganter and Rudolf Wille ; [translated from the German by Cornelia Franzke] Ganter, Bernhard; 在架上   紙本資料 c1999
F 4.1 G6243 : Goldstein, Rebecca,; 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      Incompleteness : the proof and paradox of Kurt Gödel / Rebecca Goldstein Goldstein, Rebecca,; 在架上   紙本資料 c2005
F 4.1 G766 1986 : 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      Graph reduction : proceedings of a workshop, Santa Fé, New Mexico, USA, September 29-October 1, 1986 / Joseph H. Fasel, Robert M. Keller (eds.) 在架上, 館內使用   紙本資料 c1987
F 4.1 G883 1993 : Grove, Adam Joseph; 資訊所圖書室; 紙本資料     
      Topics in multi-agent epistemic logic / Adam Joseph Grove Grove, Adam Joseph; 在架上   紙本資料 c1993
F 4.1 G9775 : Gupta, Anil,; 數學所圖書室, 資訊所圖書室, 歐美所圖書館, 人社中心, 傅斯年圖書館 ; 紙本資料     
      The revision theory of truth / Anil Gupta, Nuel Belnap Gupta, Anil,; 在架上   紙本資料 c1993
F 4.1 H151 : Hailpern, Brent T.; 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      Verifying concurrent processes using temporal logic / Brent T. Hailpern Hailpern, Brent T.; 在架上   紙本資料 1982
F 4.1 H154 : Hájek, Petr; 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      Metamathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák Hájek, Petr; 在架上   紙本資料 1992
F 4.1 H241 : Hankin, Chris; 資訊所圖書室; 紙本資料     
      Lambda calculi : a guide for the perplexed / Chris Hankin Hankin, Chris; 在架上   紙本資料 1994
F 4.1 H275 : Harel, David,; 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      First-order dynamic logic / David Harel Harel, David,; 在架上   紙本資料 1979
F 4.1 H2757 : Harel, David,; 資訊所圖書室; 紙本資料     
      Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn Harel, David,; 在架上   紙本資料 2000
F 4.1 H4132 : Hayashi, Susumu,; 資訊所圖書室; 紙本資料     
      PX, a computational logic / Susumu Hayashi and Hiroshi Nakano Hayashi, Susumu,; 在架上   紙本資料 c1988
F 4.1 H436 : Hearn, Robert A; 資訊所圖書室; 紙本資料     
      Games, puzzles, and computation / Robert A. Hearn, Erik D. Demaine Hearn, Robert A; 在架上   紙本資料 c2009
F 4.1 H477 : Hellerstein, Nathaniel; 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      Diamond, a paradox logic / by Nathaniel Hellerstein Hellerstein, Nathaniel; 在架上   紙本資料 1997
F 4.1 H516 : Hennie, Frederick C; 資訊所圖書室; 紙本資料     
      Introduction to computability / Fred Hennie Hennie, Frederick C; 在架上   紙本資料 c1977
F 4.1 H593 : Heunen, Christiaan Johan Marie,; 資訊所圖書室; 紙本資料     
      Categories for quantum theory : an introduction / Chris Heunen and Jamie Vicary, University of Edinburgh and University of Birmingham Heunen, Christiaan Johan Marie,; 在架上   紙本資料 2019
F 4.1 H621 1971 : Heyting, A.; 資訊所圖書室; 紙本資料     
      Intuitionism. An introduction. [By] A. Heyting Heyting, A.; 在架上   紙本資料 1971
F 4.1 H662 : Hindley, J. Roger; 資訊所圖書室; 紙本資料     
      Basic simple type theory / J. Roger Hindley Hindley, J. Roger; 在架上   紙本資料 1997
F 4.1 H687 : Hodel, Richard E; 資訊所圖書室, 數學所圖書室 ; 紙本資料     
      An introduction to mathematical logic / Richard E. Hodel Hodel, Richard E; 在架上   紙本資料 c1995
F 4.1 H7375 : Holldobler, Steffen,; 資訊所圖書室; 紙本資料     
      Foundations of equational logic programming / Steffen Holldobler Holldobler, Steffen,; 在架上   紙本資料 c1989
F 4.1 H843 : Houston, Kevin,; 資訊所圖書室; 紙本資料     
      How to think like a mathematician : a companion to undergraduate mathematics / Kevin Houston Houston, Kevin,; 在架上   紙本資料 c2009
F 4.1 H979 : Huth, Michael,; 資訊所圖書室; 紙本資料     
      Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan Huth, Michael,; 在架上   紙本資料 2000
F 4.1 H979 2004 : Huth, Michael,; 資訊所圖書室; 紙本資料     
      Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan Huth, Michael,; 在架上   紙本資料 2004
F 4.1 I74 : 資訊所圖書室; 紙本資料     
      Isabelle/HOL : a proof assistant for higher-order logic / Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel 在架上   紙本資料 2002
F 4.1 I89 : Ito, Masami,; 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      Algebraic theory of automata and languages / Masami Ito Ito, Masami,; 在架上   紙本資料 2004
F 4.1 J68 : Johnson, Niles; 資訊所圖書室; 紙本資料     
      2-Dimensional Categories / Niles Johnson, Donald Yau Johnson, Niles; 在架上   紙本資料 2021
F 4.1 K15    
      From discourse to logic : introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory / by Hans Kamp and Uwe Reyle Kamp, Hans; 在架上   紙本資料 1993
      From discourse to logic : introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory / by Hans Kamp and Uwe Reyle Kamp, Hans; 在架上   紙本資料 1993
F 4.1 K44 : Kfoury, A. J; 歐美所圖書館, 資訊所圖書室 ; 紙本資料     
      A programming approach to computability / A.J. Kfoury, Robert N. Moll, Michael A. Arbib Kfoury, A. J; 在架上   紙本資料 c1982
F 4.1 K45 : Khoussainov, Bakhadyr,; 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      Lectures on discrete mathematics for computer science / Bakhadyr Khoussainov, Nodira Khoussainova Khoussainov, Bakhadyr,; 在架上   紙本資料 c2012
F 4.1 K63 1978 : Kleene Symposium; 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. / edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen Kleene Symposium; 館內使用, 在架上   紙本資料 1980
F 4.1 K79 : Kohlas, Jürg,; 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      Information algebras : generic structures for inference / Jürg Kohlas Kohlas, Jürg,; 在架上   紙本資料 c2003
F 4.1 K885    
      Specifying message passing and time-critical systems with temporal logic / R. Koymans Koymans, R.; 在架上   紙本資料 c1992
      Computational logic and human thinking : how to be artificially intelligent / Robert Kowalski Kowalski, Robert; 在架上   紙本資料 2011
F 4.1 K93 : Kröger, Fred,; 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      Temporal logic of programs / Fred Kröger Kröger, Fred,; 在架上   紙本資料 c1987
F 4.1 K93 2 : Kroening, Daniel; 資訊所圖書室; 紙本資料     
      Decision procedures : an algorithmic point of view / Daniel Kroening, Ofer Strichman ; foreword by Randal E. Bryant Kroening, Daniel; 在架上   紙本資料 2008
F 4.1 L219 1975 : 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      [Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 / IAC-CNR, Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio nazionale delle ricerche ; edited by C. Böhm 館內使用, 在架上   紙本資料 1975
F 4.1 L221 : Lambek, Joachim; 數學所圖書室, 傅斯年圖書館, 資訊所圖書室 ; 紙本資料     
      Introduction to higher order categorical logic / J. Lambek, P.J. Scott Lambek, Joachim; 在架上   紙本資料 c1986
F 4.1 L296 1991 : Lanus, Mark Steven; 資訊所圖書室; 紙本資料     
      Towards a theory of deductive systems for mechanizable / Mark Steven Lanus Lanus, Mark Steven; 在架上   紙本資料 1991
F 4.1 L346 : Lassaigne, Richard,; 資訊所圖書室; 紙本資料     
      Logic and complexity / Richard Lassaigne and Michel de Rougemont Lassaigne, Richard,; 在架上   紙本資料 c2004
F 4.1 L695 : Libkin, Leonid; 資訊所圖書室; 紙本資料     
      Elements of finite model theory / Leonid Libkin Libkin, Leonid; 在架上   紙本資料 c2004
F 4.1 L8325    
      Logical frameworks / edited by Gérard Huet, G. Plotkin 在架上   紙本資料 1991
      Logic, language, and computation : festschrift in honor of Satoru Takasu / Neil D. Jones, Masami Hagiya, Masahiko Sato, eds 在架上   紙本資料 1994
F 4.1 L8325 1979 : Logic Colloquium; 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 / edited by F.R. Drake and S.S. Wainer Logic Colloquium; 在架上, 館內使用   紙本資料 1980
F 4.1 L8325 1990 : 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      Logic colloquium '90 : ASL Summer Meeting in Helsinki / J. Oikkonen, J. Väänänen (eds.) 在架上, 館內使用   紙本資料 c1993
F 4.1 L8325 2 : 資訊所圖書室, 數學所圖書室 ; 紙本資料     
      Logic at work : essays dedicated to the memory of Helena Rasiowa / Ewa Orlowska (ed.) 在架上   紙本資料 c1999
F 4.1 L8325 2 1989 : 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      Logic from computer science : proceedings of a workshop held November 13-17, 1989 / Y.N. Moschovakis, editor 在架上, 館內使用   紙本資料 c1992
F 4.1 L8325 3 1991 : International Congress of Logic, Methodology, and Philosophy of Science; 資訊所圖書室; 紙本資料     
      Logic and philosophy of science in Uppsala : papers from the 9th International Congress of Logic, Methodology, and Philosophy of Science / edited by Dag Prawitz and Dag Westerståhl International Congress of Logic, Methodology, and Philosophy of Science; 館內使用   紙本資料 c1994
F 4.1 L8325 3 1995 : International Congress of Logic, Methodology, and Philosophy of Science; 資訊所圖書室; 紙本資料     
      10th international congress of logic, methodlogy and philosophy of science : volume of abstracts, August 19-25, 1995 - Florence, Italy / International Union of History and Philosophy of Science International Congress of Logic, Methodology, and Philosophy of Science; 館內使用   紙本資料 1995
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄
Result Page   Prev Next