Mathematical logic in computer science | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

Mathematical logic in computer science / edited by B. Dömölki and T. Gergely

資料種別:

図書

出版情報:

Amsterdam ; New York : North-Holland Pub. Co., 1981

形態:

758 p. ; 25 cm

シリーズ名:

Colloquia Mathematica Societatis János Bolyai ; 26 <BA00096943>

著者名:

ISBN:

9780444854407 [0444854401]

書誌ID:

BA06314151

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Papers presented at the Colloquium on Mathematical Logic in Computer Science held in Salgótarján, September 10-15, 1978 under the auspices of Bolyai Janos Mathematical Society
主題:	Programming (Electronic computers)--Addresses, essays, lectures; Programming languages (Electronic computers)--Semantics--Addresses, essays, lectures
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 Lattice theory (: North-Holland ; : Bolyai) Huhn, A. P. (András P.), Schmidt, E. T. (Eligius Tamás), Bolyai János Matematikai Társulat, Szeged, Hungary. … North-Holland	7 図書 Differential geometry and its applications (: North-Holland ; : Bolyai) Szenthe, János, Tamássy, L, Bolyai János Matematikai Társulat North-Holland, János Bolyai Mathematical Society
2 図書 Combinatorics (v. 1 ; v. 2) Hajnal, A., Sós, Vera T., Bolyai János Matematikai Társulat North-Holland Pub. Co.	8 図書 Combinatorics (: North-Holland ; : Bolyai) Hungarian Colloquium on Combinatorics, Hajnal, A., Lovász, László, 1948-, Bolyai János Matematikai Társulat, Sós, … North-Holland, Bolyai János Matematikai Társulat
3 図書 Topics in classical number theory (v. 1 ; v. 2) Halász, Gábor, 1941-, Bolyai János Matematikai Társulat North-Holland, János Bolyai Mathematical Society	9 図書 Analytic function methods in probability theory (: North-Holland ; : Bolyai) Colloquium on the Methods of Complex Analysis in the Theory of Probability and Statistics, Gyires, B, Bolyai János … North-Holland Pub. Co. : J. Bolyai Mathematical Society
4 図書 Extremal problems for finite sets Frankl, Peter, 1953-, Bolyai János Matematikai Társulat János Bolyai Mathematical Society	10 図書 Contributions to universal algebra : [proceedings] (: North-Holland ; : Bolyai) Colloquium on Universal Algebra, Csákány, B., Schmidt, Jurgen, 1918-, Bolyai János Matematikai Társulat North-Holland Pub. Co.
5 図書 Theory of graphs : proceedings of the colloquium, held at Tihany, Hungary, September, 1966 Colloquium on Graph Theory, Erdős, Paul, 1913-1996, Katona, G., Bolyai János Matematikai Társulat Academic Press	11 図書 Number theory Turán, Paul, 1910-1976, Bolyai János Matematikai Társulat North-Holland Pub. Co
6 図書 Lie groups and their representations : Summer School of the Bolyai János Mathematical Society Summer School on Group Representations, Gelʹfand, Izrailʹ Moiseevich, 1913-, Bolyai János Matematikai Társulat Hilger	12 図書 Lectures in universal algebra Szabó, L., Szendrei, Á., Colloquium on Universal Algebra, Bolyai János Matematikai Társulat North-Holland

1

2

3

4

5

6

7

8

9

10

11

12