Back to Search
Start Over
There Is No Best $$\BETA $$ -Normalization Strategy for Higher-Order Reasoners.
- Source :
- Logic for Programming, Artificial Intelligence & Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings; 2015, p329-339, 11p
- Publication Year :
- 2015
Details
- Language :
- English
- ISBNs :
- 9783662488980
- Database :
- Complementary Index
- Journal :
- Logic for Programming, Artificial Intelligence & Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
- Publication Type :
- Book
- Accession number :
- 112582624
- Full Text :
- https://doi.org/10.1007/978-3-662-48899-7_23