A Pattern Based Language for Programming of Heuristics of Proof Search

Abstract : no abstract
Type de document :
Communication dans un congrès
Petcu, D. and Negru, V. and Zaharie, D. and Jebelen, T. Proceeding of the 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC-2004), Sep 2004, Timisoara, Romania. Editura MIRTON, pp.400--411, 2004
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01195944
Contributeur : Julien Tesson <>
Soumis le : mardi 8 septembre 2015 - 17:14:35
Dernière modification le : jeudi 11 janvier 2018 - 06:19:28

Identifiants

  • HAL Id : hal-01195944, version 1

Collections

Citation

Myrto Arapinis, Anatol Slissenko. A Pattern Based Language for Programming of Heuristics of Proof Search. Petcu, D. and Negru, V. and Zaharie, D. and Jebelen, T. Proceeding of the 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC-2004), Sep 2004, Timisoara, Romania. Editura MIRTON, pp.400--411, 2004. 〈hal-01195944〉

Partager

Métriques

Consultations de la notice

39