문헌 카드

이 문헌의 서지와, 이 카드를 붙인 자료입니다.

보조 자료원문 확인

Proof complexityWikipedia contributors · 2026영어 위키백과 (2026년 확인)

증명 복잡도를 다룬 영어 위키백과 문서다. 2-3 의 증명 복잡도 글이 체계별 하한의 목록과 미해결 문제 서술을 확인하는 보조 자료로 썼다.

확인:위키백과 문서를 직접 열어 「Lower bounds」 절과 미해결 문제 서술을 확인(2차 자료).

이 카드를 붙인 자료 1