Generating Plans from Proofs
Michael Abraham Benedikt
Efthymia Tsamoura
Balder Ten Cate
Julien Leblay
Querying (Computer Science) Reformulation (Mathematical Programming) Data Mining
No items found
Try changing the filters
Try changing the filters