Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : s - detaljert visning

Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers


Utgitt	Berlin : Springer , c1993
Omfang	VIII, 439 s. : fig.
Emner	Matematisk logikk - Databehandling databehandling logikk informatikk matematikk
ISBN	0387569928. - 3540569928