Proof Theory in Computer Science

>> Google Books

Proof Theory in Computer Science

フォーマット:

電子ブック

責任表示:

PTCS 2001 ; Kahle, Reinhard ; Schroeder-Heister, Peter Joseph ; Stärk, Robert F.

言語:

英語

出版情報:

Springer Berlin Heidelberg, 2001

著者名:

ISBN:

9783540427520 [354042752X]

9783540455042 [3540455043]

子書誌情報

オンライン

ジャーナル/ブックへリンク

所蔵情報

タイトル・著者・出版者が同じ資料

詳細

その他の標題:	INTERNATIONAL SEMINAR, PTCS 2001 DAGSTUHL CASTLE, GERMANY, OCTOBER 7-12, 2001. PROCEEDINGS
刊行状態:	Unknown status
分類・件名:	LCC : 1000000000211580
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Advances in Proof-Theoretic Semantics Piecha, Thomas; Schroeder-Heister, Peter, Piecha, Thomas, Schroeder-Heister, Peter Springer International Publishing	7 電子ブック Computer Science Logic CSL 2001, Fribourg, Laurent, European Association for Computer Science Logic. Springer Berlin Heidelberg
2 電子ブック Extensions of Logic Programming Schroeder-Heister, Schroeder-Heister, Peter Joseph Springer Berlin Heidelberg	8 図書 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
3 電子ブック Extensions of Logic Programming Eriksson, Eriksson, Lars-Henrik, Hallnäs, Lars, Schroeder-Heister, Peter Joseph Springer Berlin Heidelberg	9 電子ブック Foundations of Software Technology and Theoretical Computer Science Joseph Springer Berlin Heidelberg
4 電子ブック Extensions of Logic Programming ELP '96, Dyckhoff, Roy, Herre, Heinrich, Schroeder-Heister, Peter Joseph Springer Berlin Heidelberg	10 図書 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
5 図書 A philosophy of science for personality theory Rychlak, Joseph F. Houghton Mifflin Company	11 図書 Handbook of logic and proof techniques for computer science Krantz, Steven G. (Steven George), 1951- Birkhäuser, Springer
6 図書 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	12 電子ブック Relational Methods in Computer Science RelMiCS 2001, Swart, H. C. M. de, European Cooperation in the Field of Scientific and Technical Research (Organization). Springer Berlin Heidelberg