Rajaa
Hakutulokset: Hakutulos
Rajaa
yksi hakutulos.
Computer Science Logic
nidottu,
1993,
englanti,
ISBN 9783540569923
This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the sixth of the series and the …