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

Towards Finding Longer Proofs

Uproszczony widok
cris.lastimport.scopus2024-02-12T19:51:20Z
dc.affiliationUniwersytet Warszawski
dc.conference.countryWielka Brytania
dc.conference.datefinish2021-09-09
dc.conference.datestart2021-09-06
dc.conference.placeBirmingham
dc.conference.seriesInternational Conference on Theorem Proving with Analytic Tableaux and Related Methods
dc.conference.seriesInternational Conference on Theorem Proving with Analytic Tableaux and Related Methods
dc.conference.seriesshortcutTABLEAUX
dc.conference.shortcutTableaux 2021
dc.conference.weblinkhttps://tableaux2021.org/
dc.contributor.authorCsiszárik, Adrián
dc.contributor.authorZombori, Zsolt
dc.contributor.authorKaliszyk, Cezary
dc.contributor.authorUrban, Josef
dc.contributor.authorMichalewski, Henryk
dc.date.accessioned2024-01-26T11:03:41Z
dc.date.available2024-01-26T11:03:41Z
dc.date.issued2021
dc.description.financePublikacja bezkosztowa
dc.identifier.doi10.1007/978-3-030-86059-2_10
dc.identifier.urihttps://repozytorium.uw.edu.pl//handle/item/123550
dc.identifier.weblinkhttps://link.springer.com/content/pdf/10.1007/978-3-030-86059-2_10
dc.languageeng
dc.pbn.affiliationcomputer and information sciences
dc.relation.pages167-186
dc.rightsClosedAccess
dc.sciencecloudnosend
dc.titleTowards Finding Longer Proofs
dc.typeJournalArticle
dspace.entity.typePublication