Harald Ganzinger, David McAllester, Andrei Voronkov9783540664925, 3540664920
Logic for programming and automated reasoning: 6th International Conference, LPAR’99, Tbilisi, Georgia, September 6-10, 1999: proceedings
Free Download
You must be logged in to post a review.
Related products
Education , International Conferences and SymposiumsOperator Algebras: The Abel Symposium 2004
Free Download
Education , International Conferences and SymposiumsAdvances in Neural Information Processing Systems 14: Proceedings of the 2001 Conference
Free Download
Education , International Conferences and SymposiumsStochastic analysis and applications: the Abel Symposium 2005: proceedings of the Second Abel Symposium, Oslo, July 29-August 4, 2005, held in honor of Kiyosi Ito
Free Download
Education , International Conferences and SymposiumsReal and complex singularities: Sao Carlos Workshop 2004
Free Download
Education , International Conferences and SymposiumsKdV ’95: proceedings of the international symposium, held in Amsterdam, the Netherlands, April 23-26, 1995, to commemorate the centennial of the publication of the equation by and named after Korteweg and de Vries
Free Download
Education , International Conferences and SymposiumsNonlinear world. Proc. IV Workshop on Nonlinear and Turbulent Processes in Physics
Free Download
Reviews
There are no reviews yet.