Workshop on Computer Science Logic (3rd 1989 Kaiserslautern, Germany)

Identifiers

  • Open LibraryOL885612A

Top Subjects

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

Books by Workshop on Computer Science Logic (3rd 1989 Kaiserslautern, Germany)

Total count: 1