Mathematical logic in computer science /
Mathematical logic in computer science /
Ed. by B. Domolki and T. Gergely.
- Amsterdam ; New York : North-Holland Publ. Co., 1981.
- 758 p. : ill. ; 25 cm.
- Colloquia mathematica societatis Janos Bolyai 26 0139-3383 ; .
Papers presented at the Colloquium on Mathematical Logic in Computer Science held in Salgotarjan, September 10-15, 1978 under the auspices of Bolyai Janos Mathematical Society.
0444854401
Computer programming
Programming languages (Electronic computers)--Semantics
519.4
Papers presented at the Colloquium on Mathematical Logic in Computer Science held in Salgotarjan, September 10-15, 1978 under the auspices of Bolyai Janos Mathematical Society.
0444854401
Computer programming
Programming languages (Electronic computers)--Semantics
519.4
All site content, except where otherwise noted, is licensed under a