Logic for programming and automated reasonning. 7th International conference, LPAR 2000. Reunion Island, France, november 2000. Proceedings.
- Springer Verlag, 2000.
- (
Lecture Notes in Artificial Intelligence
; 1955).
Cote: 16783. En rayon: classement par collection. Exclu du prêt.