(1 - 10 von 10
)
CSAIL Calendar: SAT-based Decision Procedure for Analytic Pure...
calendar.csail.mit.edu
... primal infon logic and several natural extensions of it. Based on a work in-progress together with Yoni Zohar (also from Tel Aviv University).
sortiert nach Relevanz / Datum