鄰近 美國國會圖書館分類號 是:
Result Page   Prev Next
儲存已註記</a>
<span name='save_page_btn1' id='save_page_btn1' style='visibility: visible' ><a href= 儲存本頁所有記錄
選取   資料類型
F 4.1 C232 : Cantone, Domenico; 資訊所圖書室; 紙本資料     
      Set theory for computing : from decision procedures to declarative programming with sets / Domenico cantone, Eugenio Omodeo, Alberto Policriti ; foreword by Jacob T. Schwartz Cantone, Domenico; 在架上   紙本資料 c2001
F 4.1 C259 : Caramello, Olivia,; 資訊所圖書室; 紙本資料     
      Theories, sites, toposes : relating and studying mathematical theories through topos-theoretic 'bridges' / Olivia Caramello, UniversitaÌ€ degli Studi dell'Insubria - Como Caramello, Olivia,; 到期 05-31-21   紙本資料 2018
F 4.1 C418 2012 : CPP 2012; 資訊所圖書室; 電腦檔     
      Certified programs and proofs [electronic resource] : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, proceedings / Chris Hawblitzel, Dale Miller (eds.) CPP 2012; 館內使用   電腦檔 c2012
F 4.1 C454 1997 : 資訊所圖書室; 紙本資料     
      Experimental results on propositional theorem proving with boolean ring = 布爾環下零階邏輯定理證明的一些實驗性結果 / 詹仁良 在架上   紙本資料 1997
F 4.1 C559 : 資訊所圖書室; 紙本資料     
      Logic and algebraic structures in quantum computing / edited by Jennifer Chubb, University of San Francisco, Ali Eskandarian George Washington University, Washington DC, Valentina Harizanov, George Washington University, Washington DC 在架上   紙本資料 2016
F 4.1 C592 : Clark, David M.,; 資訊所圖書室, 數學所圖書室 ; 紙本資料     
      Natural dualities for the working algebraist / David M. Clark and Brian A. Davey Clark, David M.,; 在架上   紙本資料 c1998
F 4.1 C672 : Coecke, Bob,; 資訊所圖書室; 紙本資料     
      Picturing quantum processes : a first course in quantum theory and diagrammatic reasoning / Bob Coecke (University of Oxford), Aleks Kissinger (Radbound University) Coecke, Bob,; 在架上   紙本資料 2017
F 4.1 C7383 : 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      Computational logic : essays in honor of Alan Robinson / edited by Jean-Louis Lassez and Gordon Plotkin 在架上   紙本資料 c1991
F 4.1 C7383 1993 : Kurt Gödel Colloquium; 資訊所圖書室, 數學所圖書室 ; 紙本資料     
      Computational logic and proof theory : third kurt godel colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds Kurt Gödel Colloquium; 館內使用, 在架上   紙本資料 c1993
F 4.1 C7383 1997 : Kurt Gödel Colloquium; 資訊所圖書室, 數學所圖書室 ; 紙本資料     
      Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds Kurt Gödel Colloquium; 館內使用, 在架上   紙本資料 c1997
F 4.1 C756 : Constable, R. L.; 資訊所圖書室, 數學所圖書室 ; 紙本資料     
      An introduction to the PL/CV2 programming logic / R.L. Constable, S.D. Johnson, C.D. Eichenlaub Constable, R. L.; 在架上   紙本資料 1982
F 4.1 C758 : Constantin, P.; 資訊所圖書室; 紙本資料     
      Analysis of hydrodynamic models / Peter Constantin, Princeton University, Princeton, New Jersey Constantin, P.; 在架上   紙本資料 2017
F 4.1 C7583 : International Colloquium "Constructivity in Mathematics"; 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      Constructivity in mathematics; proceedings. Edited by A. Heyting International Colloquium "Constructivity in Mathematics"; 在架上   紙本資料 1959
F 4.1 C7583 1994 : 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings / Jean-Pierre Jouannaud, ed 在架上, 館內使用   紙本資料 c1994
F 4.1 C7583 1999 : 資訊所圖書室, 數學所圖書室 ; 紙本資料     
      Constraints in computational logics : theory and applications : international summer school, CCL'99, Gif-sur-yvette, France, September 5-8, 1999, revised lectures / Hubert Comon, Claude Marché, Ralf Treinen (eds.) 館內使用, 在架上   紙本資料 2001
F 4.1 D418 : 資訊所圖書室; 紙本資料     
      Deontic logic in computer science : normative system specification / edited by J.-J. Meyer and Roel J. Wieringa 在架上   紙本資料 c1993
F 4.1 D418 1994 : International Workshop on Deontic Logic in Computer Science; 資訊所圖書室; 紙本資料     
      Second international workshop on deontic logic in computer science : workshop proceedings, Oslo, Norway, 6-8 January 1994 / Andrew J. I. Jones & Marek Sergot (editors) International Workshop on Deontic Logic in Computer Science; 館內使用   紙本資料 c1993
F 4.1 D418 2004 : International Workshop on Deontic Logic in Computer Science; 資訊所圖書室; 紙本資料     
      Deontic logic in computer science : 7th international workshop on deontic logic in computer science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedings / Alessio Lomuscio, Donald Nute (eds.) International Workshop on Deontic Logic in Computer Science; 館內使用   紙本資料 c2004
F 4.1 D418 2006 : International Workshop on Deontic Logic in Computer Science; 資訊所圖書室; 紙本資料     
      Deontic logic and artificial normative systems : 8th international workshop on deontic logic in computer science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006 : proceedings / Lou Goble, John-Jules Ch. Meyer (eds.) International Workshop on Deontic Logic in Computer Science; 館內使用   紙本資料 c2006
F 4.1 D418 2008 : International Conference on Deontic Logic in Computer Science; 資訊所圖書室; 紙本資料     
      Deontic logic in computer science : 9th international conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008 : proceedings / Ron van der Meyden, Leendert van der Torre (eds.) International Conference on Deontic Logic in Computer Science; 館內使用   紙本資料 c2008
F 4.1 E57 : Engeler, Erwin; 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      Introduction to the theory of computation / Erwin Engeler Engeler, Erwin; 在架上   紙本資料 1973
F 4.1 E895 1999 : European Summer School in Logic, Language, and Information; 資訊所圖書室, 數學所圖書室 ; 紙本資料     
      Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI'97 : Aix-en-Provence, France, August 1997 : revised lectures / Jouko Väänänen, (ed.) European Summer School in Logic, Language, and Information; 館內使用, 在架上   紙本資料 c1999
F 4.1 E96 1989 : International Workshop on Extensions of Logic Programming; 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      Extensions of logic programming : international workshop, Tübingen, FRG, December 8-10, 1989 : proceedings / P. Schroeder-Heister, ed International Workshop on Extensions of Logic Programming; 在架上, 館內使用   紙本資料 c1991
F 4.1 E96 1991 : International Workshop on Extensions of Logic Programming; 資訊所圖書室, 數學所圖書室 ; 紙本資料     
      Extensions of logic programming : second international workshop, Stockholm, Sweden, January 27-29, 1991, proceedings / L.-H. Eriksson, L. Hallnäs, P. Schroeder-Heister (eds.) International Workshop on Extensions of Logic Programming; 館內使用, 在架上   紙本資料 c1992
F 4.1 E96 1992 : International Workshop on Extensions of Logic Programming; 資訊所圖書室, 數學所圖書室 ; 紙本資料     
      Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings / E. Lamma, P. Mello, eds International Workshop on Extensions of Logic Programming; 館內使用, 在架上   紙本資料 c1993
F 4.1 E96 1993    
      Extensions of logic programming : 4th international workshop, ELP '93, St Andrews, U.K., March 29-April 1, 1993 : proceedings / Roy Dyckhoff (ed.) ELP '93; 在架上, 館內使用   紙本資料 c1994
      Executable modal and temporal logics : IJCAI '93 Workshop, Chambéry, France, August 28, 1993 : proceedings / Michael Fisher, Richard Owens (eds.) Workshop on Executable Modal and Temporal Logics; 在架上, 館內使用   紙本資料 c1995
F 4.1 E96 1996 : International Workshop on Extensions of Logic Programming; 資訊所圖書室; 紙本資料     
      Extensions of logic programming : 5th international workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings / Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister, eds International Workshop on Extensions of Logic Programming; 館內使用   紙本資料 c1996
F 4.1 F2113 1991 : 方明義 (Fang, Ming-Yi); 資訊所圖書室; 紙本資料     
      Vectorization techniques for theorem proving in propositional logic on vector computers = 命題邏輯之定理證明在向量電腦上之向量化處理 / 方明義 (Ming-Yi Fang) 方明義 (Fang, Ming-Yi); 在架上   紙本資料 1990
F 4.1 F293 2010 : Federated Logic Conference; 資訊所圖書室; 電腦檔     
      FLoC 2010 [electronic resource] : Federated Logic Conference, Edinburgh, UK, July 9-21, 2010, Edinburgh, UK : &co-located meetings, included: FLoC 2010, CAV 2010, CSF 2010, ICLP 2010, IJCAR 2010, ITP 2010, LICS 2010, RTA 2010, SAT 2010 / sponsored by Engineering and Physical Sciences Research Council Federated Logic Conference; 館內使用   電腦檔 2010
F 4.1 F363 1991 : Fernando, Timothy Pascual; 資訊所圖書室; 紙本資料     
      Contributions to the foundations of simuation theory / Timothy Pascual Fernando Fernando, Timothy Pascual; 在架上   紙本資料 1991
F 4.1 F452 1993 : Fiech, Adrian Paul; 資訊所圖書室; 紙本資料     
      A denotational model for polymorphic lambda calculus with subtyping / Adrian Paul Fiech Fiech, Adrian Paul; 在架上   紙本資料 1993
F 4.1 F492 1997 : Finch, William Walter; 資訊所圖書室; 紙本資料     
      Predicate logic representations for design constraints on uncertainty supporting the set-based design paradigm / William Walter Finch Finch, William Walter; 在架上   紙本資料 1997
F 4.1 F498 : 資訊所圖書室; 紙本資料     
      Finite-model theory and its applications / Grädel, Erich ... [et al.] 在架上   紙本資料 2004
F 4.1 F547 : Fitting, Melvin,; 數學所圖書室, 資訊所圖書室, 歐美所圖書館 ; 紙本資料     
      Proof methods for modal and intuitionistic logics / Melvin Fitting Fitting, Melvin,; 在架上   紙本資料 c1983
F 4.1 F571 : Flach, Peter A; 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      Simply logical : intelligent reasoning by example / Peter Flach Flach, Peter A; 在架上   紙本資料 c1994
F 4.1 F599 : Flener, Pierre,; 資訊所圖書室; 紙本資料     
      Logic program synthesis from incomplete information / by Pierre Flener Flener, Pierre,; 在架上   紙本資料 c1995
F 4.1 F6743 : Fong, Brendan,; 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      An invitation to applied category theory : seven sketches in compositionality / Brendan Fong, David I. Spivak Fong, Brendan,; 在架上, 到期 05-03-21   紙本資料 2019
F 4.1 F677 : Font, Josep Maria,; 資訊所圖書室; 紙本資料     
      Abstract algebraic logic : an introductory textbook / Josep Maria Font Font, Josep Maria,; 在架上   紙本資料 2016
F 4.1 F949 1995 : Fu, Kuo-Chang; 資訊所圖書室; 紙本資料     
      Techniques of skolemization = skolemization 的技巧 / Kuo-Chang Fu Fu, Kuo-Chang; 在架上   紙本資料 1995
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
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄
Result Page   Prev Next