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

Computation and reasoning : a type theory for computer science

フォーマット:
図書
責任表示:
Zhaohui Luo
言語:
英語
出版情報:
Oxford : Clarendon Press
New York : Oxford University Press, 1994
形態:
xi, 228 p. ; 25 cm
著者名:
Luo, Zhaohui <DA10194887>  
シリーズ名:
The International series of monographs on computer science ; v. 11 <BA01297113>
書誌ID:
BA22519701
ISBN:
9780198538356 [0198538359]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Foundations of computer science : potential--theory--cognition

Brauer, Wilfried, 1937-, Freksa, C., Jantzen, Matthias, 1948-, Valk, R. (Rüdiger)

Springer
7 図書 Selected papers on computer science

Knuth, Donald Ervin, 1938-

CSLI Publications, [Co-published by] Cambridge University Press
2 図書 Theoretical studies in computer science

Ullman, Jeffrey D., 1942-

Academic Press
8 図書 Computer science today : recent trends and developments

Leeuwen, Jan van

Springer
3 図書 Foundations of computer science

Aho, Alfred V., 1941-, Ullman, Jeffrey D., 1942-

Computer Science Press
9 図書 Computer systems : theory, technology, and applications : a tribute to Roger Needham

Herbert, A. J. (Andrew J.), 1954-, Spärck Jones, Karen, Needham, R. M. (Roger Michael)

Springer
4 図書 Handbook of theoretical computer science

Leeuwen, Jan van

Elsevier, MIT Press
10 図書 Types for Proofs and Programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers

International Workshop on TYPES, Callaghan, Paul, Luo, Zhaohui, McKinna, James, Pollack, Robert

Springer
5 図書 Logic : a foundation for computer science

Sperschneider, V, Antoniou, G. (Grigorios)

Addison-Wesley
11 図書 Background : computational structures

Abramsky, Samson, 1953-, Gabbay, Dov M., 1945-, Maibaum, Thomas S. E., 1947-

Clarendon Press
6 図書 Foundations of computer science

Aho, Alfred V., 1941-, Ullman, Jeffrey D., 1942-

Computer Science Press
12 図書 Complexity and real computation

Blum, Lenore, Karp, Richard M.

Springer