logo
logo
x
바코드검색
바코드검색

인기 검색어

실시간 검색어

검색가능 서점

도서목록 제공

New Trends in Constraints: Joint Ercim/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers

New Trends in Constraints: Joint Ercim/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers (Paperback, 2000)

Krzysztof R. Apt, Antonis C. Dadas (엮은이)
Springer Verlag
101,630원

일반도서

검색중
서점 할인가 할인률 배송비 혜택/추가 실질최저가 구매하기
83,330원 -18% 0원
4,170원
79,160원 >
yes24 로딩중
교보문고 로딩중
notice_icon 검색 결과 내에 다른 책이 포함되어 있을 수 있습니다.

중고도서

검색중
서점 유형 등록개수 최저가 구매하기
로딩중

eBook

검색중
서점 정가 할인가 마일리지 실질최저가 구매하기
로딩중

책 이미지

New Trends in Constraints: Joint Ercim/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers
eBook 미리보기

책 정보

· 제목 : New Trends in Constraints: Joint Ercim/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers (Paperback, 2000) 
· 분류 : 외국도서 > 의학 > 일반
· ISBN : 9783540678854
· 쪽수 : 340쪽
· 출판일 : 2000-08-23

목차

Invited Contributions and Surveys.- Interval Constraints: Results and Perspectives.- A Constraint-Based Language for Virtual Agents.- Constraint (Logic) Programming: A Survey on Research and Applications.- OPL Script: Composing and Controlling Models.- Constraint Propagation and Manipulation.- Some Remarks on Boolean Constraint Propagation.- Abstracting Soft Constraints.- Decomposable Constraints.- Generating Propagation Rules for Finite Domains: A Mixed Approach.- Ways of Maintaining Arc Consistency in Search Using the Cartesian Representation.- Constraint Programming.- Combining Constraint Logic Programming Techniques for Solving Linear Problems.- Quantitative Observables and Averages in Probabilistic Constraint Programming.- Dynamic Constraint Models for Planning and Scheduling Problems.- A Finite Domain CLP Solver on Top of Mercury.- Rule-Based Constraint Programming.- Rule Based Programming with Constraints and Strategies.- Proving Termination of Constraint Solver Programs.- Projection in Adaptive Constraint Handling.

도서 정보 제공 : Yes24(www.yes24.com), 알라딘(www.aladin.co.kr)

이 포스팅은 쿠팡파트너스 및 제휴마케팅이 포함된 광고로 이에 따른 일정액의 수수료를 제공받습니다.
최근 본 책