Refereed proceedings of the 22nd International Conference on Computer Science Logic. Bertinoro, Italy, September 16-19. 2008.
M. Kaminski, S. Martini (2008). Computer Science Logic 2008, LNCS 5213. HEIDELBERG - BERLIN : Springer Verlag.
Computer Science Logic 2008, LNCS 5213
MARTINI, SIMONE
2008
Abstract
Refereed proceedings of the 22nd International Conference on Computer Science Logic. Bertinoro, Italy, September 16-19. 2008.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.