Proof Theory in Computer Science

フォーマット:
電子ブック
責任表示:
PTCS 2001 ; Kahle, Reinhard ; Schroeder-Heister, Peter Joseph ; Stärk, Robert F.
言語:
英語
出版情報:
Springer Berlin Heidelberg, 2001
著者名:
ISBN:
9783540427520 [354042752X]  CiNii Books  Webcat Plus  Google Books
9783540455042 [3540455043]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
オンライン
ジャーナル/ブックへリンク
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Extensions of Logic Programming

Schroeder-Heister, Schroeder-Heister, Peter Joseph

Springer Berlin Heidelberg
7 図書 Number theory in science and communication : with applications in cryptography, physics, digital information, computing, and self-similarity

Schroeder, M. R. (Manfred Robert), 1926-

Springer-Verlag
2 電子ブック Extensions of Logic Programming

Eriksson, Eriksson, Lars-Henrik, Hallnäs, Lars, Schroeder-Heister, Peter Joseph

Springer Berlin Heidelberg
8 電子ブック Foundations of Software Technology and Theoretical Computer Science

Joseph

Springer Berlin Heidelberg
3 電子ブック Extensions of Logic Programming

ELP '96, Dyckhoff, Roy, Herre, Heinrich, Schroeder-Heister, Peter Joseph

Springer Berlin Heidelberg
9 図書 Dictionary of abbreviations in medical sciences : with a list of the most important medical and scientific journals and their traditional abbreviations

Heister, Rolf

Springer-Verlag, c1989
4 電子ブック Musical Haptics

Piecha, Thomas; Schroeder-Heister, Peter, Piecha, Thomas, Schroeder-Heister, Peter

Springer International Publishing
10 電子ブック Government Performance and Results Act : information on science issues in EPA's performance report for fiscal year 1999 and performance plans for fiscal years …

Guerrero, Peter F.
5 電子ブック Logical Writings of Karl Popper

Binder, David, Piecha, Thomas, Schroeder-Heister, Peter

Springer International Publishing
11 図書 Computer speech : recognition, compression, synthesis : with introductions to hearing and signal analysis and a glossary of speech and computer terms

Schroeder, M. R. (Manfred Robert), 1926-

Springer
6 図書 A philosophy of science for personality theory

Rychlak, Joseph F.

Houghton Mifflin Company
12 図書 Handbook of logic and proof techniques for computer science

Krantz, Steven G. (Steven George), 1951-

Birkhäuser, Springer