Philipp Körner
- Fifty Years of Prolog and Beyond
2022/01/26 by Philipp Körner, Körner, Philipp, Michaël Leuschel +23 · 3 voices · 7 citations
Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Software Engineering Research