«smt-solvers» 태그된 질문


2
일부 추론 엔진은 왜 인간의 도움이 필요한 반면 다른 추론 엔진은 그렇지 않습니까?
본인은 Automated Theorem Proving / SMT 솔버 / Proof Assistant 를 배우고 여기 에서 시작하여 프로세스에 대한 일련의 질문을 게시합니다 . 자동 정리 프로 바이더, 즉 ACL2 및 SMT 솔버가 증거 보조자 (예 : Isabelle 및 Coq )가 필요한 반면 사람의 도움이 필요하지 않은 이유는 무엇 입니까? 시리즈의 다음 질문을 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.