Mathematical logic in computer science

>> Google Books

タイトル、所在を表示します

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>

書誌ID:

BA06314151

ISBN:

9780444854407 [0444854401]

子書誌情報

所蔵情報

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

詳細

資料形態(詳細):	Text
主題:	Programming (Electronic computers)--Addresses, essays, lectures; Programming languages (Electronic computers)--Semantics--Addresses, essays, lectures
LCCN:	82101557
注記:	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
登録日:	2002-02-28
分類・件名:	LCC : QA76 DDC : 519.4 LCSH : Programming (Electronic computers) -- Addresses, essays, lectures LCSH : Programming languages (Electronic computers) -- Semantics -- Addresses, essays, lectures

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Analytic function methods in probability theory 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	7 図書 Differential geometry Soós, Gy, Szenthe, János, Colloquium on Differential Geometry, Bolyai János Matematikai Társulat North-Holland Pub. Co. : János Bolyai Mathematical Society
2 図書 Contributions to universal algebra : [proceedings] Colloquium on Universal Algebra, Csákány, B., Schmidt, Jurgen, 1918-, Bolyai János Matematikai Társulat North-Holland Pub. Co.	8 図書 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
3 図書 Topology Colloquium on Topology, Császár, Ákos, Bolyai János Matematikai Társulat North-Holland Pub. Co.	9 図書 Topics in number theory Turán, Paul, 1910-1976, Bolyai János Matematikai Társulat North-Holland, Bolyai
4 図書 Lattice theory Huhn, A. P. (András P.), Schmidt, E. T. (Eligius Tamás), Bolyai János Matematikai Társulat, Szeged, Hungary. … North-Holland	10 図書 Representations of Lie groups and Lie algebras Kirillov, Aleksandr Aleksandrovich, 1936-, Bolyai János Matematikai Társulat, Summer School on Group Representations Akadémiai Kiadó
5 図書 Combinatorics Hajnal, A., Sós, Vera T., Bolyai János Matematikai Társulat North-Holland Pub. Co.	11 図書 Algebraic theory of semigroups Pollák, G., Bolyai János Matematikai Társulat, Szeged, Hungary. Tudományegyetem (Founded 1940) North-Holland Pub. Co.
6 図書 Infinite and finite sets : to Paul Erdős on his 60th birthday Colloquium on Infinite and Finite Sets, Erdős, Paul, 1913-1996, Rado, Richard, 1906-, Sós, Vera T., Bolyai János … North-Holland	12 図書 Mathematical logic for computer science Ben-Ari, M., 1948- Springer