Reductive Logic and Proof-Search(2004) > 수학

확대보기

견본신청 문의

단체구매 문의

오탈자 문의

Reductive Logic and Proof-Search(2004) 요약정보 및 구매

상품 선택옵션 0 개, 추가옵션 0 개

사용후기 0 개

찜위시리스트

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search including proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences.
학습자료

등록된 학습자료가 없습니다.

정오표

등록된 정오표가 없습니다.
상품 정보

상품 정보 고시
사용후기

등록된 사용후기

사용후기 쓰기 새 창 더보기

사용후기가 없습니다.
상품문의

등록된 상품문의

상품문의 쓰기새 창 더보기

상품문의가 없습니다.
배송/교환정보

배송정보

교환/반품 정보