au.\*:("SOPHIA UNIV.\/JPN NAGOYA UNIV.\/JPN DEUTSCHE FORSCHUNGSGEMEINSCHAFT BONN-BAD GODESBERG\/DEU GAKUJUTSU SHINKOKAI\/JPN\/(PATR.)")
Results 1 to 1 of 1
Selection :
LOGIC SYMPOSIA HAKONE 1979, 1980. PROCEEDINGS OF CONFERENCES HELD IN HAKONE, JAPAN, MARCH 21-24, 1979 AND FEBRUARY 4-7, 1980MULLER GH ED; TAKEUTI G ED; TUGUE T ED et al.1981; LECT. NOTES MATH.; ISSN 0075-8434; DEU; DA. 1981; NO 891; 398 P.; BIBL. DISSEM.Conference Paper
