鄰近 美國國會圖書館分類號 是:
Result Page   Prev Next
儲存已註記</a>
<span name='save_page_btn1' id='save_page_btn1' style='visibility: visible' ><a href= 儲存本頁所有記錄
選取   資料類型
F 4.0 R382 2001 : RelMiCS 2001; 資訊所圖書室; 紙本資料     
      Relational methods in computer science : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, October 16-21, 2001 : revised papers / Harrie C.M. de Swart (ed.) RelMiCS 2001; 館內使用   紙本資料 2002
F 4.0 R382 2003 : RelMiCS 2003; 資訊所圖書室; 紙本資料     
      Relational and Kleene-algebraic methods in computer science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers / Rudof Berghammer,Bernhard Möller, Georg Struth (eds.) RelMiCS 2003; 館內使用   紙本資料 c2004
F 4.0 R382 2005 : RelMiCS 2005; 資訊所圖書室; 紙本資料     
      Relational methods in computer science : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Application of Kleene Algebra and Workshop of COST action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers / Wendy MacCaul, Michael Winter, Ivo Düntsch (eds.) RelMiCS 2005; 館內使用   紙本資料 2006
F 4.0 R382 2006 : RelMiCS 2006; 資訊所圖書室; 紙本資料     
      Relations and kleene algebra in computer science : 9th International Seminar on Relational Methods in Computer Science and 4th international workshop on application of kleene algebra, RelMiCS/AKA 2006, Mancheser, UK, August/September, 2006 : proceedings / Renate A. Schmidt (ed.) RelMiCS 2006; 館內使用   紙本資料 2006
F 4.0 R382 2008 : RelMiCS 2008; 資訊所圖書室; 紙本資料     
      Relations and Kleene algebra in computer science : 10th international conference on relational methods in computer science and 5th international conference on applications of Kleene algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008 : proceedings / Rudolf Berghammer, Bernhard Möller, Gerog Struth (eds.) RelMiCS 2008; 館內使用   紙本資料 2008
F 4.0 S5627 : Shyr, H. J; 資訊所圖書室; 紙本資料     
      Free monoids and languages / H.J. Shyr Shyr, H. J; 在架上   紙本資料 c1991
F 4.0 S839 : Stern, August,; 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      Matrix logic and mind : a probe into a unified theory of mind and matter / August Stern Stern, August,; 在架上   紙本資料 1992
F 4.0 T396 1984 : Ecole de Printemps d'Informatique Théorique; 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      Automata on infinite words / Ecole de printemps d'informatique théorique, Le Mont Dore, May 14-18, 1984 ; edited by M. Nivat and D. Perrin Ecole de Printemps d'Informatique Théorique; 在架上, 館內使用   紙本資料 c1985
F 4.0 T396 1985 : Spring School of the Laboratoire Informatique Théorique et Programmation; 資訊所圖書室; 紙本資料     
      Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings / edited by Guy Cousineau, Pierre-Louis Curien, and Bernard Robinet Spring School of the Laboratoire Informatique Théorique et Programmation; 館內使用   紙本資料 c1986
F 4.0 T396 1986 : LITP Spring School on Theoretical Computer Science; 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      Automata networks : LITP Spring School on theoretical computer science, Argelès-village, France, May 12-16, 1986 : proceedings / C. Choffrut, ed LITP Spring School on Theoretical Computer Science; 在架上, 館內使用   紙本資料 c1988
F 4.0 T396 1987 : LITP Spring School on Theoretical Computer Science; 人文社會聯圖, 資訊所圖書室, 數學所圖書室 ; 紙本資料     
      Electronic dictionaries and automata in computational linguistics : LITP Spring School on theoretical computer science, Saint-Pierre d'Oleron, France, May 25-29, 1987 : proceedings / M. Gross, D. Perrin, eds LITP Spring School on Theoretical Computer Science; 在架上, 館內使用   紙本資料 c1989
F 4.0 T396 1988 : LITP Spring School on Theoretical Computer Science; 資訊服務處圖書館, 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      Formal properties of finite automata and applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : proceedings / J.E. Pin, ed LITP Spring School on Theoretical Computer Science; 在架上, 館內使用   紙本資料 c1989
F 4.0 T396 1990 : Ecole de printemps dinformatique theorique; 資訊所圖書室, 數學所圖書室 ; 紙本資料     
      Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Rosay, France, April 23-27, 1990, proceedings / I. Guessarian (ed.) Ecole de printemps dinformatique theorique; 館內使用, 在架上   紙本資料 c1990
F 4.0 W251 : Wansing, H.; 資訊所圖書室, 數學所圖書室 ; 紙本資料     
      The logic of information structures / Heinrich Wansing Wansing, H.; 在架上   紙本資料 c1993
F 4.0 W555 : 資訊所圖書室; 紙本資料     
      What is a logical system? / edited by D.M. Gabbay 在架上   紙本資料 1994
F 4.1 A1645 2000 : 資訊所圖書室, 數學所圖書室 ; 紙本資料     
      Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 2000 : proceedings / Yuri Gurevich ... [et al.] (eds.) 館內使用, 在架上   紙本資料 c2000
F 4.1 A1645 2003 : ASM 2003; 資訊所圖書室, 數學所圖書室 ; 紙本資料     
      Abstract state machines 2003 : advances in theory and practice: 10th international workshop, ASM 2003, Taormina, Italy, March 3-7, 2003 : proceedings / Egon Börger, Angelo Gargantini, Elvinia Riccobene (eds.) ASM 2003; 館內使用, 在架上   紙本資料 c2003
F 4.1 A1645 2004 : ASM 2004; 資訊所圖書室; 紙本資料     
      Abstract state machines 2004 : advances in theory and practice: 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings / EWolf Zimmermann, Bernhard Thalheim (eds.) ASM 2004; 館內使用   紙本資料 c2004
F 4.1 A2445 : 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      Advances in intensional logic / edited by Maarten de Rijke 在架上   紙本資料 c1997
F 4.1 A394 1988 : 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      Algebraic logic and universal algebra in computer science : conference, Ames, Iowa, USA June 1-4, 1988, proceedings / C.H. Bergman, R.D. Maddux, D.L. Pigozzi (Eds.) 在架上, 館內使用   紙本資料 1990
F 4.1 A532 : 資訊所圖書室; 紙本資料     
      Analysis and visualization tools for constraint programming : constraint debugging / Pierre Deransart, M. Hermenegildo, J. Małuszyński (eds.) 在架上   紙本資料 2000
F 4.1 A532 1997 : 資訊所圖書室; 紙本資料     
      Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 1997 : proceedings / Didier Galmiche (ed.) 館內使用   紙本資料 c1997
F 4.1 A532 1998 : TABLEAUX'98; 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings / Harrie de Swart, ed TABLEAUX'98; 館內使用, 在架上   紙本資料 c1998
F 4.1 A532 1999 : 資訊所圖書室; 紙本資料     
      Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 1999 : proceedings / Neil V. Murray (ed.) 館內使用   紙本資料 c1999
F 4.1 A532 2000 : 資訊所圖書室; 紙本資料     
      Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings / Roy Dyckhoff (ed.) 館內使用   紙本資料 c2000
F 4.1 A532 2002 : TABLEAUX 2002; 資訊所圖書室; 紙本資料     
      Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2002, Copenhagen, Denmark, July/August 2002 : proceedings / Uwe Egly, Christian G. Fermüller (eds.) TABLEAUX 2002; 館內使用   紙本資料 2002
F 4.1 A532 2003 : TABLEAUX 2003; 資訊所圖書室; 紙本資料     
      Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings / Marta Cialdea Mayer, Fiora Pirri (eds.) TABLEAUX 2003; 館內使用   紙本資料 2003
F 4.1 A532 2005 : TABLEAUX 2005; 資訊所圖書室; 紙本資料     
      Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings / Bernhard Beckert (ed.) TABLEAUX 2005; 館內使用   紙本資料 2005
F 4.1 A532 2007 : TABLEAUX 2007; 資訊所圖書室; 紙本資料     
      Automated reasoning with analytic tableaux and related methods : 16th international conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 : proceedings / Nicola Olivetti (ed.) TABLEAUX 2007; 館內使用   紙本資料 2007
F 4.1 A5685 : Andrews, P. B.; 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      An introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews Andrews, P. B.; 在架上   紙本資料 1986
F 4.1 A646 : Appel, Andrew W.,; 資訊所圖書室; 紙本資料     
      Program logics for certified compilers / Andrew W. Appel, Princeton University, Princeton, New Jersey ... [and seven others] Appel, Andrew W.,; 到期 12-04-20   紙本資料 2014
F 4.1 B248 1984 : Barendregt, H. P.; 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      The lambda calculus : its syntax and semantics / H.P. Barendregt Barendregt, H. P.; 在架上   紙本資料 1984
F 4.1 B433 1985 : Bell, J. L.; 歐美所圖書館, 資訊所圖書室 ; 紙本資料     
      Boolean-valued models and independence proofs in set theory / J.L. Bell Bell, J. L.; 在架上   紙本資料 1985
F 4.1 B476 1991 : Benthem, J. F. A. K. van,; 民族所圖書館, 傅斯年圖書館, 歐美所圖書館, 資訊所圖書室 ; 紙本資料     
      The logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse / Johan van Benthem Benthem, J. F. A. K. van,; 在架上   紙本資料 1991
F 4.1 B628 : Blackburn, Patrick,; 數學所圖書室, 資訊所圖書室, 歐美所圖書館 ; 紙本資料     
      Modal logic / Patrick Blackburn, Maarten de Rijke, Yde Venema Blackburn, Patrick,; 在架上   紙本資料 2002
F 4.1 B655 : 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      Iteration theories : equational logic of iterative processes / Stephen L. Bloom, Zoltán Ésik (eds.) 在架上   紙本資料 c1993
F 4.1 B724 : Boolos, George,; 歐美所圖書館, 資訊所圖書室 ; 紙本資料     
      The logic of provability / George Boolos Boolos, George,; 在架上, 到期 11-16-20   紙本資料 1995
F 4.1 B811 : Bradley, Aaron R; 資訊所圖書室; 紙本資料     
      The Calculus of computation : decision procedures with applications to verification / Aaron R. Bradley, Zohar Manna. Bradley, Aaron R; 在架上   紙本資料 2007
F 4.1 B956 : Burgin, M. S.; 數學所圖書室, 統計所圖書館, 資訊所圖書室 ; 紙本資料     
      Super-recursive algorithms / Mark Burgin Burgin, M. S.; 在架上   紙本資料 c2005
F 4.1 B993 : Byers, William,; 資訊所圖書室; 紙本資料     
      How mathematicians think : using ambiguity, contradiction, and paradox to create mathematics / William Byers Byers, William,; 在架上   紙本資料 2010
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 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
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄
Result Page   Prev Next