COLOG-88, International Conference on Computer Logic, Tallinn, USSR, December 1988, Proceedings

Per Martin-Löf, Grigori Mints, editors, COLOG-88, International Conference on Computer Logic, Tallinn, USSR, December 1988, Proceedings. Volume 417 of Lecture Notes in Computer Science, Springer, 1990.

Conference: jic1990

Abstract

Abstract is missing.

Table of Contents