Computer science logic : 11th international workshop, CSL '97 : annual conference of the EACSL, Aarh - detaljert visning

Computer science logic : 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers


Utgitt	Berlin : Springer , c1998
Omfang	VIII, 509 s. : ill.
Emner	Matematisk logikk - Databehandling
ISBN	3540645705