Computer science logic : 9th international workshop, CSL '95 : annual conference of the EACSL, Pader - detaljert visning

Computer science logic : 9th international workshop, CSL '95 : annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers


Utgitt	Berlin : Springer , c1996
Omfang	VIII, 485 s. : fig.
Emner	Matematisk logikk - Databehandling databehandling logikk
ISBN	3540613773