Progress in clasp series 3
Résumé
no abstract
Communication Dans Un Congrès
Année : 2015
René Quiniou : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01186997
Soumis le : mardi 25 août 2015-18:25:31
Dernière modification le : mardi 27 août 2024-12:46:04
Dates et versions
Identifiants
- HAL Id : hal-01186997 , version 1
Citer
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Javier Romero, Torsten Schaub. Progress in clasp series 3. Proceedings of the Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15), 2015, Lexington, United States. ⟨hal-01186997⟩
Collections
141
Consultations
0
Téléchargements