>> Amazon.co.jp
このページのQRコード

Selected papers on Automath

種類:
図書
責任表示:
edited by R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer ; with the assistance of L.S. van Benthem Jutting, D.T. van Daalen
出版情報:
Amsterdam : Elsevier, 1994
著者名:
シリーズ名:
Studies in logic and the foundations of mathematics ; v. 133 <BA00099329>
ISBN:
9780444898227 [0444898220]  CiNii Books  Calil
注記:
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Selected papers on gauge theories of fundamental interactions

Mohapatra, R. N. (Rabindra Nath), Lai, C. H.

World Scientific
7 図書 I. J. SCHOENBERG SELECTED PAPERS

SCHOENBERG, I. J. ; <ED. BY> BOOR, CARL DE

BIRKHAUSER
2 図書 Selected papers

角谷, 静夫(1911-), Kallman, Robert R.

Birkhäuser
8 図書 I. J. SCHOENBERG SELECTED PAPERS

SCHOENBERG, I. J. ; <ED. BY> BOOR, CARL DE

BIRKHAUSER
3 電子ブック Programming Languages and their Definition : Selected Papers

Bekic, H., Jones, C. B., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
9 図書 Selected papers of Gordon Holmes

Holmes, Gordon, Sir, 1876-1965, Phillips, C. G

Oxford University Press
4 図書 SELECTED PAPERS ON THE TRANSFER OF RADIATION

<ED. BY> MENZEL DONALD H.

DOVER
10 電子ブック Mathematical Demography : Selected Papers

Smith, David P., Keyfitz, Nathan., Wachter, Kenneth W., Le Bras, Hervé., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
5 図書 Selected papers on philosophy

James, William, 1842-1910, Bakewell, C. M.

J.M. Dent, E.P. Dutton
11 図書 Chemical carcinogenesis : selected papers

World Symposium on Model Studies in Chemical Carcinogenesis (1972 : Baltimore, Md.), Ts'o, Paul O. P. (Paul On Pong), &hellip;

M. Dekker
6 図書 A psychiatrist's world : the selected papers

Menninger, Karl, 1893-, Hall, Bernard H.

The Viking Press
12 図書 Kiyosi Itô selected papers

伊藤, 清(1915-), Varadhan, Srinivasa R. S., Stroock, Daniel W.

Springer