Proceedings of the sixth IBM Symposium on Mathematical Foundations of Computer Science
Subtitle: logic aspect of programs : May 25-27, 1981 at Hakone Yama no Hotel
By: [organized by] Corporate & Scientific Programs, IBM Japan.
Contributors: Nihon Ai Bī Emu Kabushiki Kaisha. Corporate & Scientific Programs.
Publisher: Corporate & Scientific Programs, IBM Japan
Published: 1981
Place of publication: Tokyo
Language: eng
Number of pages: 431
Subjects: Computer programming -- Congresses.; Formal languages -- Congresses; Logic, Symbolic and mathematical -- Congresses; Machine theory -- Congresses
Other titles: Logic aspect of program.
Notes: Includes bibliographical references.