카테고리:자동 정리 증명

• 자동 정리 증명

A

• 반통일 (컴퓨터 과학)
• 자동 추론

B

• 버로우스-아바디-니덤 논리

C

• 샤프 알고리즘
• 컴퓨터 보조 증명
• 콘콜릭 테스트

D

• 데이비스-푸트남 알고리즘
• DPLL 알고리즘
• DPLL(T)

F

• F* (프로그래밍 언어)
• 새로 고침 변수

G

• 하랄트 간징거
• 지오메트리 엑스퍼트

H

• 힐베르트 체계

I

• 이사 플래너

L

• 하부 단위

M

• 테이블보 분석법
• 모델 제거

N

• 조사할 수 없는 증거
• 누플

O

• 발생조회

P

• POPLmark 챌린지
• 증명(진실)
• 증명 도우미
• 복잡성 증명
• 명제 증명 체계

R

• 추론 체계
• 해상도(논리)
• 잔물결

S

• 순차 미적분학
• 대체(논리)
• 제프 섯클리프
• TPTP의 시스템

T

• 대화형 정리 증명(회의)
• 정리 증명자들을 위한 수천 가지 문제

U

• 통일 (컴퓨터 과학)
• 단위 전파

W

• 워크SAT