Logic aspect of programs
Subtitle: proceedings of the Sixth IBM Symposium on Mathematical Foundations of Computer Science, May 25-27, 1981, Tokyo.
Contributors: International Business Machines Corporation.
Publisher: IBM Japan
Published: 1981
Place of publication: Tokyo
Language: eng