Kurt Gödel Colloquium (5th 1997 Vienna, Austria)

Identifiers

  • Open LibraryOL394916A

Top Subjects

  • Logic, Symbolic and mathematical -- Congresses (1)
  • Automatic theorem proving -- Congresses (1)

Books by Kurt Gödel Colloquium (5th 1997 Vienna, Austria)

Total count: 1