A
Menu
August 16, 2021 article Open access

Extending a brainiac prover to lambda-free higher-order logic

International Journal on Software Tools for Technology Transfer

DOI: 10.1007/s10009-021-00639-7 Full text (OA) OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 1 stored of 18

1 result

References 0