Logic of programs : workshop, ETH Zürich, May-July 1979 | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

Logic of programs : workshop, ETH Zürich, May-July 1979 / edited by Erwin Engeler

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer, 1981

形態:

245 p. ; 25 cm

シリーズ名:

Lecture notes in computer science ; 125 <BA00009279>

著者名:

ISBN:

9783540111603 [3540111603] (: gw)
9780387111605 [0387111603] (: us)

書誌ID:

BA03899580

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographies
主題:	Computer programs--Addresses, essays, lectures; Logic, Symbolic and mathematical--Addresses, essays, lectures
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 電子ブック Logic of Programs : Workshop, ETH Zürich, May-July 1979 Engeler, E., SpringerLink (Online service)	7 図書 Formal languages; automata and structures Engeler, Erwin, 1930- Markham Pub. Co
2 電子ブック Logic of Programs Engeler SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	8 電子ブック Molecular sieves : the third international conference co-sponsored by the Eidgenössische Technische Hochschule and the Swiss Chemical Society at Zurich, … International Conference on Molecular Sieves, Meier, Walter M., Uytterhoeven, J. B., American Chemical Society, … ACS Publications
3 図書 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	9 図書 The combinatory programme (: us ; : gw) Engeler, Erwin, 1930-, Aberer, K. Birkhäuser
4 図書 E. W. Beth Memorial Colloquium : logic and foundations of science : Paris, Institut Henri Poincaré, 19-21 May 1964 E. W. Beth Memorial Colloquium, Beth, Evert Willem, Destouches, Jean-Louis, Institut Henri Poincaré D. Reidel	10 図書 The Logic of decision and action Rescher, Nicholas, Anderson, Alan Ross, University of Pittsburgh, Pittsburgh. University. Dept. of Philosophy, … University of Pittsburgh Press
5 図書 Symposium on semantics of algorithmic languages : [papers] (: Germany ; : U.S.) Engeler, Erwin, 1930- Springer-Verlag	11 図書 From Frege to Gödel : a source book in mathematical logic, 1879-1931 (: pbk ; : cloth) Van Heijenoort, Jean, 1912- Harvard University Press
6 図書 Introduction to the theory of computation Engeler, Erwin, 1930- Academic Press	12 図書 Seminar on triples and categorical homology theory : ETH, 1966-67 Eckmann, B. (Beno), 1917-, Appelgate, H., Eidgenössische Technische Hochschule Zürich. Forschungsinstitut für … Springer-Verlag

1

2

3

4

5

6

7

8

9

10

11

12