skip to main content

Computer Science Logic: 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings

Börger, Egon ; Jäger, Gerhard ; Kleine Büning, Hans ; Richter, Michael M Jäger, Gerhard ; Kleine Büning, Hans ; Richter, Michael M. ; Börger, Egon

Berlin, Heidelberg: Springer Berlin Heidelberg 1992

Texto completo disponível

Citações Citado por

Buscando em bases de dados remotas. Favor aguardar.