BOOKPRICE.co.kr
책, 도서 가격비교 사이트

Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings (Paperback)

Jasmin Blanchette, Dirk Pattinson, Kovacs, Laura (엮은이)

Springer

93,060원

일반도서

검색중

서점	할인가	할인률	배송비	혜택/추가	실질최저가	구매하기
	76,300원	-18%	0원	3,820원	72,480원	>

검색 결과 내에 다른 책이 포함되어 있을 수 있습니다.

중고도서

검색중

서점	유형	등록개수	최저가	구매하기

eBook

검색중

서점	정가	할인가	마일리지	실질최저가	구매하기

책 이미지

Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

eBook 미리보기

책 정보

· 제목 : Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings (Paperback)
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9783031107689
· 쪽수 : 756쪽
· 출판일 : 2022-07-17