Implementing an instantiation-based theorem prover for first-order logic

Konstantin Korovin

Implementing an instantiation-based theorem prover for first-order logic

Research output: Contribution to conference › Other

Original language	English
Pages	63
Publication status	Published - 2006
Event	6th International Workshop on the Implementation of Logics, IWIL 2006 - Held at the 13th International Conference on Logic for Programming, Artificial Intelligence and Reasoning - Phnom Penh Duration: 1 Jul 2006 → …

Conference

Conference	6th International Workshop on the Implementation of Logics, IWIL 2006 - Held at the 13th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
City	Phnom Penh
Period	1/07/06 → …

Cite this

@conference{9c7c21eaa863461084600cf38da88c27,

title = "Implementing an instantiation-based theorem prover for first-order logic",

author = "Konstantin Korovin",

year = "2006",

language = "English",

pages = "63",

note = "6th International Workshop on the Implementation of Logics, IWIL 2006 - Held at the 13th International Conference on Logic for Programming, Artificial Intelligence and Reasoning ; Conference date: 01-07-2006",

}