دورية أكاديمية
Extending a brainiac prover to lambda-free higher-order logic
| العنوان: | Extending a brainiac prover to lambda-free higher-order logic |
|---|---|
| المؤلفون: | Vukmirović, PetarAff1, IDs10009021006397_cor1, Blanchette, JasminAff1, Aff2, Aff3, Cruanes, Simon, Schulz, Stephan |
| المصدر: | International Journal on Software Tools for Technology Transfer. 24(1):67-87 |
| قاعدة البيانات: | Springer Nature Journals |
Find this article in full text from Springer Verlag. 
Full Text Finder | تدمد: | 14332779 14332787 |
|---|---|
| DOI: | 10.1007/s10009-021-00639-7 |