A CSP solution to the trains problem

Bibliographische Detailangaben
1. Verfasser: Roscoe, A
Format: Conference item
Veröffentlicht: Springer 1985