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

>> Amazon.co.jp

このページのQRコード

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

種類:

図書

責任表示:

edited by Erwin Engeler

出版情報:

Berlin ; Tokyo : Springer, 1981

著者名:

シリーズ名:

Lecture notes in computer science ; 125 <BA00009279>

ISBN:

9783540111603 [3540111603] (: gw)

9780387111605 [0387111603] (: us)

注記:

Includes bibliographies

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Computer programs--Addresses, essays, lectures; Logic, Symbolic and mathematical--Addresses, essays, lectures
分類・件名:	NDC7 : 549.92 LCSH : Computer programs -- Addresses, essays, lectures LCSH : Logic, Symbolic and mathematical -- Addresses, essays, lectures
TTLL:	eng
言語:	英語
形態:	245 p. : ill. ; 25 cm
書誌ID:	BA03899580

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Logic of Programs : Workshop, ETH Zürich, May–July 1979 Engeler, Erwin, SpringerLink (Online service) Springer-Verlag	7 図書 Categorical constructions in stable homotopy theory : a seminar given at the ETH, Zürich, in 1967 Tierney, Myles, Eidgenössische Technische Hochschule Zürich. Forschungsinstitut für Mathematik Springer-Verlag
2 電子ブック Logic of Programs : Workshop, ETH Zürich, May-July 1979 Engeler, E., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	8 電子ブック Topology and robotics : July 10-14, 2006, FIM ETH, Zurich Farber, Michael,1951- American Mathematical Society
3 図書 Contributions to analysis : papers communicated to an International Symposium on Analysis held on April 10-15, 1978 at the Eidgenössische Technische Hochschule … International Symposium on Analysis (1978 : Eidgenössische Technische Hochschule Zürich), Pfluger, Albert, 1907- L'Enseignement mathématique, Université de Genève	9 図書 Logics of programs : workshop, Yorktown Heights, New York, May 1981 Logics of Programs Workshop, Kozen, Dexter, 1951- Springer-Verlag
4 図書 Sixteen papers on logic and algebra Baranskiĭ, V. A. American Mathematical Society	10 電子ブック Logics of Programs : Workshop, Yorktown Heights, New York, May 1981 Kozen, Dexter, SpringerLink (Online service) Springer-Verlag
5 図書 The Calculi of symbolic logic, 1 Orevkov, V. P. American Mathematical Society	11 図書 Seminar über Funktionen-Algebren : Eidg. Technische Hochschule Forschungsinstitut für Mathematik Zürich - Schweiz, Winter-Semester 1963/64 Wermer, John Springer-Verlag
6 図書 Twelve papers in logic and algebra Lavrik, A. F. American Mathematical Society	12 図書 Lectures in mathematics ETH Zürich Lanford, Oscar E., Struwe, Michael Birkhäuser Verlag