Jump to main content

yr 〜
yr

Search results 3

CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.). (Lecture notes in computer science)

CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1990.<M15-A6619>
National Diet Library
  • Author Heading... (Egon), 1946- Kleine Büning, H. (Hans) Richter, Michael M., 1938- Wo...

CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.). (Lecture notes in computer science)

CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1989.<M154-A106>
National Diet Library
  • Author Heading... (Egon), 1946- Kleine Büning, H. (Hans) Richter, Michael M., 1938-

CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.). (Lecture notes in computer science)

CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1988.<M15-A4197>
National Diet Library
  • Author Heading... (Egon), 1946- Kleine Büning, H. (Hans) Richter, Michael M., 1938-

Reached to the end of result.

RSS