-
1Computer Science Logic [electronic resource] : 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers / Computer Science Logic [electronic resource] : 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers /Texto bibliotecaCOLPOS
-
2Computer Science Logic [electronic resource] : 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers / Computer Science Logic [electronic resource] : 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers /Texto bibliotecaCOLPOS
-
3Computer Science Logic [electronic resource] : 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings / Computer Science Logic [electronic resource] : 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings /by Börger, Egon. editor., Kleine Büning, Hans. editor., Richter, Michael M. editor., Schönfeld, Wolfgang. editor., SpringerLink (Online service)
Published 1991Texto bibliotecaCOLPOS -
4Computer Science Logic [electronic resource] : 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings / Computer Science Logic [electronic resource] : 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings /by Börger, Egon. editor., Kleine Büning, Hans. editor., Richter, Michael M. editor., Schönfeld, Wolfgang. editor., SpringerLink (Online service)
Published 1991Texto bibliotecaCOLPOS
![Computer Science Logic [electronic resource] : 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers /](/search/themes/bootstrap3/images/libros.png)