SPLT 84, Séminaire Programmation en Logique, 25-27 avril 1984, Plestin-les-Grèves, France

Mehmet Dincbas, editor, SPLT 84, Séminaire Programmation en Logique, 25-27 avril 1984, Plestin-les-Grèves, France. 1984.

Conference: jfplc1984

Abstract

Abstract is missing.

Table of Contents