게임
앱
영화/TV
도서
키즈
google_logo Play
게임
앱
영화/TV
도서
키즈
none
search
help_outline
Google 계정으로 로그인
play_apps
라이브러리 및 기기
payment
결제 및 정기 결제
reviews
내 Play 활동
redeem
할인 혜택
Play Pass
settings
설정
개인정보처리방침
•
서비스 약관
게임
앱
영화/TV
도서
키즈
Automated Theorem Proving: After 25 Years: After 25 Years
W. W. Bledsoe
·
Donald W. Loveland
1984년 1월
·
American Mathematical Society: Annual meeting
89권
· American Mathematical Soc.
eBook
360
페이지
eBook US$57.00
무료 샘플
위시리스트에 추가
선물하기
eBook 정보
arrow_forward
시리즈
과학/수학
이 eBook 평가
의견을 알려주세요.
리뷰를 작성해 주세요.
읽기 정보
expand_more
스마트폰 및 태블릿
Android
및
iPad/iPhone
용
Google Play 북 앱
을 설치하세요. 계정과 자동으로 동기화되어 어디서나 온라인 또는 오프라인으로 책을 읽을 수 있습니다.
노트북 및 컴퓨터
컴퓨터의 웹브라우저를 사용하여 Google Play에서 구매한 오디오북을 들을 수 있습니다.
eReader 및 기타 기기
Kobo eReader 등의 eBook 리더기에서 읽으려면 파일을 다운로드하여 기기로 전송해야 합니다. 지원되는 eBook 리더기로 파일을 전송하려면
고객센터
에서 자세한 안내를 따르세요.
시리즈 계속
arrow_forward
Mathematical Applications of Category Theory
American Mathematical Society. Meeting
89권
•
과학/수학
US$55.00
Topological Methods in Nonlinear Functional Analysis: Volumes 1-2
Sankatha Prasad Singh
86권
•
과학/수학
US$43.00
Operator Algebras and $K$-Theory
Ronald G. Douglas
87권
•
과학/수학
US$47.00
Low Dimensional Topology
American Mathematical Society
87권
•
과학/수학
US$52.00
W. W. Bledsoe 작가의 책 더보기
arrow_forward
Program for Computing Probabilities of Fallout from a Large-scale Thermonuclear Attack
W. W. Bledsoe
무료
비슷한 eBook
arrow_forward
Topological Methods in Nonlinear Functional Analysis: Volumes 1-2
Sankatha Prasad Singh
86권
•
과학/수학
US$43.00
Handbook of Mathematical Logic
J. Barwise
컴퓨터 및 기술
4.2
star
US$180.00
US$144.00
Mechanical Theorem Proving in Geometries: Basic Principles
Wen-tsün Wu
컴퓨터 및 기술
US$19.25
US$16.75
Introduction to Mathematical Logic: Edition 6
Elliott Mendelson
컴퓨터 및 기술
US$140.00
US$112.00