International Congress on Mathematical Software

View Statistics Email Alert RSS Feed

Description

Event name
International Congress on Mathematical Software
 
Start date
05-08-2014
End date
09-08-2014
 
Location
Seoul, South Korea
Country
 
Event format Veranstaltungsformat
On Site

Publications Publikationen


Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Lonsing, Florian ; Egly, Uwe Incremental QBF Solving by DepQBFKonferenzbeitrag Inproceedings2014