Proceedings of the Third IBM Symposium on Mathematical Foundations of Computer Sciences
Subtitle: mathematical logic & computer science : August 21-23, 1978 at Inter-University Seminar House of Kansai
By: [organized by] Academic & Scientific Programs, IBM Japan.
Contributors: Nihon Ai Bī Emu Kabushiki Kaisha. Academic & Scientific Programs.
Publisher: Academic & Scientific Programs, IBM Japan
Published: 1978
Place of publication: Tokyo
Language: eng
Subjects: Computer programming -- Congresses.; Formal languages -- Congresses; Logic, Symbolic and mathematical -- Congresses; Machine theory -- Congresses
Genres: Congresses.; Congresses
Other titles: Mathematical logic & computer science; Mathematical logic and computer science
Notes: Includes bibliographical references.