홈 / 책 찾기 / 판 고르기

Symbolic logic and mechanical theorem proving

판 1개, 최신 판부터

Symbolic logic and mechanical theorem proving

Academic Press, 1987, ISBN 9780121703509

가격 확인이 판 보기