Mathematical logic in computer science

著者

• Dömölki, B.
• Gergely, T. (Tamás)
• Colloquium on Mathematical Logic in Computer Science
• Bolyai János Matematikai Társulat

書誌事項

Mathematical logic in computer science

edited by B. Dömölki and T. Gergely

（Colloquia Mathematica Societatis János Bolyai, 26）

North-Holland Pub. Co., 1981

注記

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

詳細情報

• NII書誌ID(NCID): BA06314151
• ISBN:
  • 0444854401
• LCCN: 82101557
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Amsterdam ; New York
• ページ数/冊数: 758 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA76
  • DC19 : 519.4
• 件名:
  • LCSH : Programming (Electronic computers) -- Addresses, essays, lectures
  • LCSH : Programming languages (Electronic computers) -- Semantics -- Addresses, essays, lectures
• 親書誌ID:
  • BA00096943