Artykuł w czasopiśmie
Ładowanie...
Miniatura
Licencja
ClosedAccessDostęp zamknięty
Statystyki

Towards Finding Longer Proofs

DOI
10.1007/978-3-030-86059-2_10
Autor
Csiszárik Adrián
Zombori Zsolt
Urban Josef
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