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

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

Xehetasun bibliografikoak
Erakunde egilea: Workshop on Computer Science Logic Swansea, Wales
Beste egile batzuk: Beorger, E. 1946- (Egon), Gurevich, Yuri, Meinke, K. (Karl)
Formatua: Liburua
Hizkuntza:English
Argitaratua: Berlin Springer-Verlag c1994.
Saila:Lecture notes in computer science 832
Gaiak:
Computer science > Congresses.
Logic, Symbolic and mathematical > Congresses.