Workshop on Computer Science Logic (4th 1990 Heidelberg, Germany)

Identifiers

Open LibraryOL769401A

Top Subjects

Logic, Symbolic and mathematical -- Congresses (1)
Computer science -- Congresses (1)

Books by Workshop on Computer Science Logic (4th 1990 Heidelberg, Germany)

Total count: 1

Computer science logic4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings

Springer-Verlag1991-01-01