Artykuł w czasopiśmie
Brak miniatury
Licencja
ClosedAccessDostęp zamknięty

Towards Finding Longer Proofs

Pokaż widok metadanych
DOI
10.1007/978-3-030-86059-2_10
Autor
Csiszárik, Adrián
Zombori, Zsolt
Kaliszyk, Cezary
Urban, Josef
Michalewski, Henryk
Data publikacji
2021
Dyscyplina PBN
informatyka
Strony od-do
167-186
Link do źródła
https://link.springer.com/content/pdf/10.1007/978-3-030-86059-2_10
Licencja otwartego dostępu
Dostęp zamknięty