홈 / 책 찾기 / Automated theorem proving

Automated theorem proving 표지

Automated theorem proving

after 25 years

저자
Special Session on Automatic Theorem Proving (1983 Denver, Colo.)
출판사
American Mathematical Society
출간
1984
쪽수
360쪽
언어
영어
ISBN
9780821850275
상태
수량
배송

해외에서 들여옵니다. 보통 2~3주, 지금 주문하시면 11월 21일에서 11월 28일 사이 도착 예상

가격견적 요청

담아 두시면 24시간 안에 가격을 알려 드립니다. 가격을 보시고 결제하시면 됩니다.