KF, PKF, and Reinhardt?s Program.

Luca Castaldo Johannes Stern

Published in: Rev. Symb. Log. (2023)

Keyphrases

computer programs
case study
database
artificial intelligence
search engine
special case
open source