• Media type: E-Article
  • Title: Automated Deduction—CADE-18: Proof Development with Ωmega
  • Contributor: Siekmann, Jörg; Benzmüller, Christoph; Brezhnev, Vladimir; Cheikhrouhou, Lassaad; Fiedler, Armin; Franke, Andreas; Horacek, Helmut; Kohlhase, Michael; Meier, Andreas; Melis, Erica; Moschner, Markus; Normann, Immanuel; Pollet, Martin; Sorge, Volker; Ullrich, Carsten; Wirth, Claus-Peter; Zimmer, Jürgen
  • imprint: Springer Berlin Heidelberg, 2002
  • Published in: Automated Deduction—CADE-18
  • Language: Not determined
  • DOI: 10.1007/3-540-45620-1_12
  • ISSN: 0302-9743
  • Origination:
  • Footnote: