Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2 Results Found Subscribe to search results
00DEFAULT
Print
1. 
Cover image for Constraint Solving and Planning with Picat
Constraint Solving and Planning with Picat
Author 
Zhou, Neng-Fa. author. Kjellerstrand, Håkan. author. Fruhman, Jonathan. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518437.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-25883-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Practical Aspects of Declarative Languages 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings
Practical Aspects of Declarative Languages 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings
Author 
Russo, Claudio. editor. Zhou, Neng-Fa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27694-1
Format: 
Availability 
Online Library~1
Available:
Copies: