SErAPIS: A Concept-Oriented Search Engine for the Isabelle Libraries Based on Natural Language

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

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

Original language	English
Number of pages	13
Publication status	Published - 30 Jun 2020
Event	Isabelle Workshop 2020 - Duration: 30 Jun 2020 → 30 Jun 2020

Workshop	Isabelle Workshop 2020
Period	30/06/20 → 30/06/20

Access to Document

@conference{48cd26ca0294439bb3edb489d3c8b30c,

title = "SErAPIS: A Concept-Oriented Search Engine for the Isabelle Libraries Based on Natural Language",

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

year = "2020",

month = jun,

day = "30",

language = "English",

note = "Isabelle Workshop 2020 ; Conference date: 30-06-2020 Through 30-06-2020",

}