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

홈 / 책 찾기 / 판 고르기

First-Order Logic and Automated Theorem Proving

판 2개, 최신 판부터

First-Order Logic and Automated Theorem Proving

Springer, 2012, ISBN 9781468403572

가격 확인이 판 보기

First-Order Logic and Automated Theorem Proving

Springer New York, 1996, [electronic resource] /, ISBN 9781461275152

가격 확인이 판 보기