1
Udgivet 2006
Indholdsfortegnelse: ... Fundamentals Through Interactive Interfaces for Learning -- Contributing to General Education by Teaching...
Få fuldtekst
Electronisk eBog
2
Udgivet 2013
Indholdsfortegnelse: ...: MUS Extraction with Interactive Choice of Candidates -- SCSat: A Soft Constraint Guided SAT Solver...
Få fuldtekst
Electronisk eBog