Developing a Concept-Oriented Search Engine for Isabelle Based on Natural Language: Technical Challenges

Yiannos A. Stathopoulos, Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson

Research output: Contribution to conference › Abstract › peer-review

Original language	English
Number of pages	4
Publication status	Published - 2020
Event	5th Conference on Artificial Intelligence and Theorem Proving - Aussois, France Duration: 13 Sept 2020 → 19 Sept 2020

Conference	5th Conference on Artificial Intelligence and Theorem Proving
Abbreviated title	AITP 2020
Country/Territory	France
City	Aussois
Period	13/09/20 → 19/09/20

Access to Document

@conference{c2dafeb5102b47d786185af7be7ba166,

title = "Developing a Concept-Oriented Search Engine for Isabelle Based on Natural Language: Technical Challenges",

author = "Stathopoulos, {Yiannos A.} and Angeliki Koutsoukou-Argyraki and Paulson, {Lawrence C.}",

year = "2020",

language = "English",

note = "5th Conference on Artificial Intelligence and Theorem Proving<br/>, AITP 2020 ; Conference date: 13-09-2020 Through 19-09-2020",

}