Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings
Editat de Michel Parigot et al.
23 oct 2000
Paperback
Preț: 400.26 lei
6-8 săpt.
Cărți de Michel Parigot