책 이미지
eBook 미리보기
책 정보
· 제목 : Constraints in Computational Logics: Theory and Applications: International Summer School, Ccl'99 Gif-Sur-Yvette, France, September 5-8, 1999 Revised (Paperback, 2001)
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 > 객체지향
· ISBN : 9783540419501
· 쪽수 : 316쪽
· 출판일 : 2001-04-18
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 > 객체지향
· ISBN : 9783540419501
· 쪽수 : 316쪽
· 출판일 : 2001-04-18
목차
Constraints and Constraint Solving: An Introduction.- Constraint Solving on Terms.- Combining Constraint Solving.- Constraints and Theorem Proving.- Functional and Constraint Logic Programming.- Building Industrial Applications with Constraint Programming.
