[lnkForumImage]
TotalShareware - Download Free Software
Confronta i prezzi di migliaia di prodotti.
Asp Forum
 Home | Login | Register | Search 


 

Forums >

comp.lang.lisp

The Reasoned Lisper

Chris Kohlhepp

12/16/2015 10:42:00 AM

Bridging Discrete and Continuous Logic in Automated Reasoning Systems

https://chriskohlhepp.wordpress.com/the-reason...