Imagen Principal
1

LPAR 2001 Proceedings: Logic for Programming, Artificial Intelligence, and Reasoning (Springer Notes in Computer Science)

Imagen ampliada