DaftarIsitemplate |
Call Number |
005.133 Bee P |
Title |
Speeding up constrained path solvers with a reachability propagator, (LNCS-Lecture Notes in Computer Science 3709) Hal 866 |
Author |
Luis Quesada; Peter Van Roy; Yves Deville; |
Publisher |
Springer, 2005 |
Subject |
Location |