儲存已註記</a>
<span name='save_page_btn1' id='save_page_btn1' style='visibility: visible' ><a href= 儲存本頁所有記錄
主題 (1-3 之 3)
Proof theory -- Data processing
1
book jacket

Compositionality, concurrency and partial correctness proof theories for networks of processes and their connection
Zwiers, Jakob
Berlin ; New York : Springer-Verlag, 1988
1988
電腦檔

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

A proof theory for description logics
Rademaker, Alexandre
London : Springer London, 2012
2012
電子書

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

The Seventeen Provers of the World Foreword by Dana S. Scott

Berlin Heidelberg : Springer-Verlag GmbH., 2006
2006
電子書

館藏地: 資訊所圖書室
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄