Parigot, Michel (ed) & Voronkov, Andrei (ed)

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).


  1. Cote: 16783. En rayon: classement par collection. Exclu du prÍt.