LearnOmatic: System description

Mateja Jamnik, Manfred Kerber, Martin Pollet, A Voronkov

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Pages	LNAI 2392, 150-155
Publication status	Published - 1 Jan 2002
Event	CADE-2002: Conference on Automated Deducation - Duration: 1 Jan 2002 → …

Conference	CADE-2002: Conference on Automated Deducation
Period	1/01/02 → …

Cite this

@conference{9ab49f8233d74b7a9806c08fd0afed44,

title = "LearnOmatic: System description",

author = "Mateja Jamnik and Manfred Kerber and Martin Pollet and A Voronkov",

year = "2002",

month = jan,

day = "1",

language = "English",

pages = "LNAI 2392, 150--155",

note = "CADE-2002: Conference on Automated Deducation ; Conference date: 01-01-2002",

}