>> Google Books
タイトル、所在を表示します

Type theory and formal proof : an introduction

フォーマット:
図書
責任表示:
Rob Nederpelt, Herman Geuvers
言語:
英語
出版情報:
Cambridge : Cambridge University Press, 2014
形態:
xxv, 436 p. ; 26 cm
著者名:
書誌ID:
BB17286361
ISBN:
9781107036505 [110703650X] (: hardback)
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 A modern perspective on type theory : from its origins until today

Kamareddine, Fairouz, Laan, Twan, Nederpelt, R. P. (Rob P.)

Kluwer Academic
7 図書 Histological typing of skin tumours

Heenan, P. J. (Peter J.), 1937-, Elder, D. E., Sobin, L. H. (Leslie H.), 1934-

Springer
2 図書 An introduction to mathematical logic and type theory : to truth through proof

Andrews, P. B. (Peter Bruce), 1937-

Academic Press
8 図書 VHDL for simulation, synthesis, and formal proofs of hardware

Mermet, Jean P.

Kluwer Academic
3 図書 A concise introduction to data structures using Java

Johnson, Mark Joseph

CRC/Taylor & Francis Group
9 図書 Histological typing of odontogenic tumours

Kramer, Ivor R. H. (Ivor Robert Horton), Pindborg, J. J. (Jens Jørgen), 1921-, Shear, Mervyn

Springer-Verlag
4 図書 Introduction to the theory of ion-atom collisions

McDowell, M. R. C., Coleman, J. P.

North-Holland, Sole distributors in U.S.A. & Canada, American Elsevier
10 図書 Proof theory : an introduction

Pohlers, Wolfram

Springer-Verlag
5 図書 Theories of types and proofs

高橋, 正子, Okada, M. (Mitsuhiro), 1954-, Dezani-Ciancaglini, Mariangiola

Mathematical Society of Japan
11 図書 Histological typing of tumours of the liver

Ishak, Kamal G., 1928-, Anthony, Peter P. (Peter Paul), Sobin, L. H. (Leslie H.), 1934-, Gibson, J. B. (James Blackburn)

Springer-Verlag
6 図書 Types for proofs and programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers

International Workshop on TYPES, Barendregt, H. P. (Hendrik Pieter), 1947-, Nipkow, Tobias, 1958-

Springer-Verlag
12 図書 Proof and disproof in formal logic : an introduction for programmers

Bornat, Richard, 1944-

Oxford University Press