Skip Navigation LinksHome : Book details 		 

 Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25 May 1, 2010, Revised Selected Papers free ebook download



Category:
Programming

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25 May 1, 2010, Revised Selected Papers
Views:  73
Likes:  238

Catalogue

Author(s): Edmund M. Clarke, Andrei Voronkov
Date: 2011-01-04 Format: pdf Language: English ISBN/ASIN: 3642175104  
Pages: 517 OCR: Quality: ISBN13:  
Uploader: maveriks Upload Date: 5/14/2019 6:32:36 PM      
To download click on link in the Links Table below                                                                       

Description: Click to see full description


Links Table  
 TitleLinkPasswordSize (MB)Thank toInform Admin
2494605Bookhttp://nitroflare.com/view/017617BEC4879... 7.09maveriks

Tags: April Artificial Conference Dakar Intelligence International Logic Papers Programming Reasoning

Title Link Password Size Reason
 
Those who downloaded this book also downloaded the following books:
Comments
New comment:              

  
(C) FreeBookSpot 2007 - 2024