Constraint solving and planning with Picat [electronic resource] / Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman.
2015
QA76.6
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Constraint solving and planning with Picat [electronic resource] / Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman.
Author
ISBN
9783319258836 electronic book
3319258834 electronic book
9783319258812
3319258834 electronic book
9783319258812
Published
Cham : Springer, 2015.
Language
English
Description
1 online resource.
Call Number
QA76.6
Dewey Decimal Classification
005.1
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (viewed November 23, 2015)
Series
SpringerBriefs in intelligent systems.
Linked Resources
Record Appears in