Search
Search
Advanced search
Change font size
Contrast versions
Language pl
godlo_uwb.svg

Poprzednia strona

Rekrutacja 2022/23

Publications

Improving legibility of formal proofs based on the close reference principle is NP-hard

26.11.2013

Improving legibility of formal proofs based on the close reference principle is NP-hard

K. Pąk

J. Automat. Reason. 55 (2015) 295-306

DOI: 10.1007/s10817-015-9337-1

Print
Back
©2022 Wszystkie prawa zastrzeżone.