DaftarIsitemplate |
Call Number |
005.133 Bee P |
Title |
Incremental algorithms for local search from existential second-order logic, (LNCS-Lecture Notes in Computer Science 3709) Hal 47-61 |
Author |
Magnus Agren; Pierre Flener; Justin Pearson; |
Publisher |
Springer, 2005 |
Subject |
Location |