Explore Books on
inteligencia artificial (conmputacʹao)
1-1 of 1 Books
View Proceedings By International Conference on Automated Deduction (10th 1990 Kaiserslautern, Germany) 
Proceedings
By International Conference on Automated Deduction (10th 1990 Kaiserslautern, Germany)