로그인주문 조회장바구니기업 기관 구매

홈 / 책 찾기 / 판 고르기

Symbolic Logic and Mechanical Theorem Proving

판 2개, 최신 판부터

Symbolic Logic and Mechanical Theorem Proving

Elsevier Science & Technology Books, 2014, ISBN 9780080917283

가격 확인이 판 보기

Symbolic logic and mechanical theorem proving

Academic Press, 1973, ISBN 9780121703509

가격 확인이 판 보기