Automated Deduction - CADE-15
Résumé
This volume is the proceedings of the 14th International Conference on Automated Deduction, held in Lindau, Germany, in July 1998.
Ouvrage (Y Compris Édition Critique Et Traduction)
Année : 1998
Publications Loria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00098417
Soumis le : lundi 25 septembre 2006-17:01:10
Dernière modification le : vendredi 24 mars 2023-14:52:48
Dates et versions
Identifiants
- HAL Id : inria-00098417 , version 1
Citer
Claude Kirchner, Hélène Kirchner (Dir.). Automated Deduction - CADE-15. Kirchner, Claude and Kirchner, Hélène. Springer Verlag, 1998, Lecture Notes in Artificial Intelligence. ⟨inria-00098417⟩
Collections
33
Consultations
0
Téléchargements