-
1
-
2
-
3Logic for Programming and Automated Reasoning [electronic resource] : 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings / Logic for Programming and Automated Reasoning [electronic resource] : 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings /by Ganzinger, Harald. editor., McAllester, David. editor., Voronkov, Andrei. editor., SpringerLink (Online service)
Published 1999Texto bibliotecaCOLPOS -
4Logic for Programming and Automated Reasoning [electronic resource] : 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings / Logic for Programming and Automated Reasoning [electronic resource] : 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings /by Ganzinger, Harald. editor., McAllester, David. editor., Voronkov, Andrei. editor., SpringerLink (Online service)
Published 1999Texto bibliotecaCOLPOS