儲存已註記</a>
<span name='save_page_btn1' id='save_page_btn1' style='visibility: visible' ><a href= 儲存本頁所有記錄
作者 (1-10 之 10)
Dowek, Gilles
1
book jacket

Automated Reasoning : 4th international joint conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008 : proceedings
International Joint Conference on Automated Reasoning (4th : 2008 : Sydney, Australia)
Berlin : Springer, c2008
 
c2008
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro I2.3 A939 2008  LNCS 5195    館內使用    30330000210273
2
book jacket

Automated reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings
IJCAR 2001 (2008 : Sydney, Australia)
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
2008
電子書

館藏地: 中央研究院
3
book jacket

Computation, proof, machine : mathematics enters a new age
Dowek, Gilles
New York, NY : Cambridge University Press, 2015.
 
2015
紙本資料

館藏地: 統計所圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 統計所圖書館圖書區I  QA26 D69 2015    在架上    30570000139358
4
book jacket

Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers
International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (2nd : 1995 : Paderborn, Germany)
New York : Springer, c1996
 
c1996
紙本資料

館藏地: 數學所圖書室, 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro I2.3 H638 1995  LNCS 1074    館內使用    30330000111760
 數學所圖書室  QA75.5 .L42  v.1074    在架上    30340200341927
5
book jacket

Higher-order algebra, logic, and term rewriting second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers

Berlin ; New York : Springer, 1996
1996
電腦檔

館藏地: 資訊所圖書室
6
book jacket

Higher-Order Algebra, Logic, and Term Rewriting Second International Workshop, HOA '95 Paderborn, Germany, September 21-22, 1995 Selected Papers
Dowek, Gilles
Berlin, Heidelberg : Springer Berlin Heidelberg, 1996
1996
電子書

館藏地: 數學所圖書室
7
book jacket

Introduction to the theory of programming languages
Dowek, Gilles
London : Springer-Verlag London Limited, 2011
2011
電子書

館藏地: 中央研究院
8
book jacket

Principles of programming languages
Dowek, Gilles
London : Springer-Verlag London, 2009
2009
電子書

館藏地: 中央研究院
9
book jacket

Proofs and algorithms an introduction to logic and computability
Dowek, Gilles
London : Springer-Verlag London Limited, 2011
2011
電子書

館藏地: 中央研究院
10
book jacket

Rewriting and Typed Lambda Calculi : joint international conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings
International Conference on Rewriting Techniques and Applications (25th : 2014 : Vienna, Austria)
Cham : Springer International Publishing : Imprint: Springer, 2014
2014
電子書

館藏地: 中央研究院
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄