Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : sel - detaljert visning

Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers


Utgitt	Berlin : Springer , c1994
Omfang	VIII, 336 s. : ill.
Emner	Computer science - Congresses Logic, Symbolic and mathematical - Congresses Matematisk logikk - Databehandling informatikk matematisk logikk
ISBN	0387582770. - 3540582770