Central Library

Your search returned 4 results. Subscribe to this search

Unhighlight Highlight
|
Logic programming : proceedings of the eleventh International Conference on Logic Programming / edited by Pascal Van Hentenryck.

by Van Hentenryck, Pascal | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Material type: book Book; Format: available online remote Publisher: Cambridge, Mass : MIT Press, 1994Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1994]Online access: Abstract with links to resource Availability: No items available

Numerica : a modeling language for global optimization / Pascal Van Hentenryck, Laurent Michel, Yves Deville.

by Van Hentenryck, Pascal [author.] | Michel, Laurent | Deville, Yves, 1960- | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, c1997Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1997]Online access: Abstract with links to resource Availability: No items available

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007, Proceedings / edited by Pascal Van Hentenryck, Laurence Wolsey.

by Van Hentenryck, Pascal [editor.] | Wolsey, Laurence [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available

Practical Aspects of Declarative Languages [electronic resource] : 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings / edited by Pascal van Hentenryck.

by van Hentenryck, Pascal [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available