홈 / 책 찾기 / Logic for Computer Science

표지 준비 중

Logic for Computer Science

Foundations of Automatic Theorem-Proving

저자
Jean H. Gallier
출판사
Wiley & Sons, Incorporated, John
출간
1985
쪽수
528쪽
언어
영어
ISBN
9780471603283
상태
수량
배송

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

가격견적 요청

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

다른 판

Logic for Computer Science

Dover Publications, Incorporated, 2015, ISBN 9780486805085

가격 확인이 판 보기

Logic for Computer Science

Dover Publications, Incorporated, 2015, ISBN 9780486780825

가격 확인이 판 보기

Logic for computer science

Wiley, 1987, ISBN 9780471615460

가격 확인이 판 보기

Logic for computer science

Harper & Row, 1986, ISBN 9780060422257

가격 확인이 판 보기