Digitale Bibliotheek |
|
||||||||||||||||||||||||||||
Sluiten | Bladeren door artikelen uit een tijdschrift | ||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
Tijdschrift beschrijving | |||||||||||||||||||||||||||||
Alle jaargangen van het bijbehorende tijdschrift | |||||||||||||||||||||||||||||
Alle afleveringen van het bijbehorende jaargang | |||||||||||||||||||||||||||||
Alle artikelen van de bijbehorende aflevering | |||||||||||||||||||||||||||||
Details van artikel 1 van 14 gevonden artikelen
|
|||||||||||||||||||||||||||||
A general scheme for automatic generation of search heuristics from specification dependencies ☆ ☆ Preliminary versions of this paper were presented in [15,16,18]. This work was supported in part by NSF grant IIS-0086529 and by MURI ONR award N00014-00-1-0617. |
|||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
Details van artikel 1 van 14 gevonden artikelen
|
|||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland |