Proof development with omega

J Siekmann; Christoph Benzmuller; V Brezhnev; L Cheikhrouhou; A Fiedler; A Franke; H Horacek; E Melis; A Meier; M Moschner; I Normann; Martin Pollet; Volker Sorge; C Ullrich; C-P Wirth; J Zimmer; A Voronkov

Proof development with omega

J Siekmann
, Christoph Benzmuller
, V Brezhnev
, L Cheikhrouhou
, A Fiedler
, A Franke
, H Horacek
, E Melis
, A Meier
, M Moschner
, I Normann
, Martin Pollet
, Volker Sorge
, C Ullrich
, C-P Wirth
, J Zimmer
, A Voronkov

Computer Science

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Pages	143-148
Number of pages	6
Publication status	Published - 1 Jan 2002
Event	Proceedings of the 18th International Conference on Automated Deduction (CADE-18) - Berlin, Germany Duration: 1 Jan 2002 → …

Conference

Conference	Proceedings of the 18th International Conference on Automated Deduction (CADE-18)
City	Berlin, Germany
Period	1/01/02 → …

Cite this

Siekmann, J., Benzmuller, C., Brezhnev, V., Cheikhrouhou, L., Fiedler, A., Franke, A., Horacek, H., Melis, E., Meier, A., Moschner, M., Normann, I., Pollet, M., Sorge, V., Ullrich, C., Wirth, C.-P., Zimmer, J., & Voronkov, A. (2002). Proof development with omega. 143-148. Paper presented at Proceedings of the 18th International Conference on Automated Deduction (CADE-18), Berlin, Germany.

@conference{f09bd642d75849c98db13f184554fdec,

title = "Proof development with omega",

author = "J Siekmann and Christoph Benzmuller and V Brezhnev and L Cheikhrouhou and A Fiedler and A Franke and H Horacek and E Melis and A Meier and M Moschner and I Normann and Martin Pollet and Volker Sorge and C Ullrich and C-P Wirth and J Zimmer and A Voronkov",

year = "2002",

month = jan,

day = "1",

language = "English",

pages = "143--148",

note = "Proceedings of the 18th International Conference on Automated Deduction (CADE-18) ; Conference date: 01-01-2002",

}

Siekmann, J, Benzmuller, C, Brezhnev, V, Cheikhrouhou, L, Fiedler, A, Franke, A, Horacek, H, Melis, E, Meier, A, Moschner, M, Normann, I, Pollet, M, Sorge, V, Ullrich, C, Wirth, C-P, Zimmer, J & Voronkov, A 2002, 'Proof development with omega', Paper presented at Proceedings of the 18th International Conference on Automated Deduction (CADE-18), Berlin, Germany, 1/01/02 pp. 143-148.

TY - CONF

T1 - Proof development with omega

AU - Siekmann, J

AU - Benzmuller, Christoph

AU - Brezhnev, V

AU - Cheikhrouhou, L

AU - Fiedler, A

AU - Franke, A

AU - Horacek, H

AU - Melis, E

AU - Meier, A

AU - Moschner, M

AU - Normann, I

AU - Pollet, Martin

AU - Sorge, Volker

AU - Ullrich, C

AU - Wirth, C-P

AU - Zimmer, J

AU - Voronkov, A

PY - 2002/1/1

Y1 - 2002/1/1

M3 - Paper

SP - 143

EP - 148

T2 - Proceedings of the 18th International Conference on Automated Deduction (CADE-18)

Y2 - 1 January 2002

ER -