>> Google Books
 ↑ タイトル、所在を表示

Logic of programs : workshop, ETH Zürich, May-July 1979

フォーマット:
図書
責任表示:
edited by Erwin Engeler
出版情報:
Berlin ; Tokyo : Springer, 1981
形態:
245 p. : ill. ; 25 cm
ISBN:
9783540111603 [3540111603] (: gw)  CiNii Books  Webcat Plus  Google Books
9780387111605 [0387111603] (: us)  CiNii Books  Webcat Plus  Google Books
シリーズ名:
Lecture notes in computer science ; 125 <BA00009279>
著者名:
書誌ID:
BA03899580
注記:
Includes bibliographies
子書誌情報
Loading
所蔵情報
Loading availability information

類似資料:

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

Engeler, Erwin, 1930-

Springer-Verlag

Adi︠a︡n, S. I.

American Mathematical Society

Engeler, Erwin, 1930-

Springer-Verlag

Logic Colloquium, Dalen, D. van (Dirk), 1932-, Lascar, D. (Daniel), 1942-, Smiley, T. J. (Timothy John), Association for &hellip;

North-Holland Pub. Co, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.

Tierney, Myles, Eidgenössische Technische Hochschule Zürich. Forschungsinstitut für Mathematik

Springer-Verlag

Braffort, P. (Paul), Scheepen, F. van, Commission of the European Communities. Dissemination of Scientific and Technical &hellip;

Commission of the European Communities, Directorate-General for Dissemination of Information

Baranskiĭ, V. A.

American Mathematical Society

Van Heijenoort, Jean, 1912-

Harvard University Press

Lavrik, A. F.

American Mathematical Society

Heyting, A. (Arend), 1898-, Dalen, D. van (Dirk), 1932-, Scott, Dana, Troelstra, A. S. (Anne Sjerp)

Wolters-Noordhoff

Tarski, Alfred, 1902-, Woodger, Joseph Henri

Clarendon Press

Specker, Ernst, 1920-

L'Enseignement mathématique, Université de Genève