Sciweavers

24132 search results - page 41 / 4827
» and 2009
Sort
View
ALT
2009
Springer
15 years 2 months ago
Inference and Learning in Planning
Hector Geffner
ATVA
2009
Springer
106views Hardware» more  ATVA 2009»
15 years 2 months ago
Verifying VLSI Circuits
Mark R. Greenstreet