Resource guided concurrent deduction

Mateja Jamnik, Manfred Kerber, Christoph Benzmuller, Volker Sorge, M Kohlhase

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Pages	243-244
Number of pages	2
Publication status	Published - 1 Jan 2001
Event	Symbolic Calculation and Automated Reasoning: The Calculemus - 2000 Symposium 2001 - Duration: 1 Jan 2001 → …

Conference	Symbolic Calculation and Automated Reasoning: The Calculemus - 2000 Symposium 2001
Period	1/01/01 → …

Cite this

@conference{a349b1f810fd4bc89605b2aea8978658,

title = "Resource guided concurrent deduction",

author = "Mateja Jamnik and Manfred Kerber and Christoph Benzmuller and Volker Sorge and M Kohlhase",

year = "2001",

month = jan,

day = "1",

language = "English",

pages = "243--244",

note = "Symbolic Calculation and Automated Reasoning: The Calculemus - 2000 Symposium 2001 ; Conference date: 01-01-2001",

}