Call Number | 005.133 Bee P |
Collection Type | Indeks Artikel LNCS |
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 |
Nomor Panggil | ID Koleksi | Status |
---|---|---|
005.133 Bee P | TERSEDIA |