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

Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991 : proceedings

種類:
図書
責任表示:
J.P. Myers, Jr., M.J. O'Donnell, eds
出版情報:
Berlin ; New York : Springer-Verlag, c1992
著者名:
シリーズ名:
Lecture notes in computer science ; 613 <BA00009279>
ISBN:
9783540556312 [3540556311] (: gw)  CiNii Books  Calil
9780387556314 [0387556311] (: us)  CiNii Books  Calil
注記:
Contains papers presented at the Symposium on Constructivity in Computer Science held in San Antonio, Tex., June 19-22, 1991 sponsored by Trinity Universty, the University of Chicago, and the Association for Symbolic Logic
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

Myers, J.Paul Jr., O'Donnell, Michael J., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Symposium on Mathematical Foundations of Computer Science, Havel, Ivan M., Koubek, Václav, 1948-

Springer-Verlag

Myers, J. Paul, O'Donnell, Michael J., SpringerLink (Online service)

Springer-Verlag

Symposium on Mathematical Foundations of Computer Science, Kutyłowski, Mirosław, Pacholski, Leszek, Wierzbicki, Tomasz

Springer

Symposium on Mathematical Foundations of Computer Science, Prívara, Igor, Rovan, Branislav, 1947-, Ružička, Peter

Springer-Verlag

Symposium on Mathematical Foundations of Computer Science, Brim, Luboš, Gruska, Jozef, Zlatuška, Jiří

Springer

Symposium on Mathematical Foundations of Computer Science, Prívara, Igor, Ruz̆ic̆ka, Peter

Springer

Symposium on Mathematical Foundations of Computer Science, Sgall, Jiřį́, 1965-, Pultr, Aleš, Kolman, Petr

Springer

Symposium on Mathematical Foundations of Computer Science, Wiedermann, J. (Juraj), Hájek, Petr

Springer-Verlag

Symposium on Mathematical Foundations of Computer Science, Nielsen, M. (Mogens), 1949-, Rovan, Branislav, 1947-

Springer

Workshop on Computer Science Logic, Börger, Egon, 1946-, Kleine Büning, Hans, 1948-, Richter, Michael M., 1938-

Springer-Verlag

Symposium on Mathematical Foundations of Computer Science, Penczek, Wojciech, Szałas, Andrzej, 1958-

Springer