Lecture 7 Generate-Test-Aggregate in Coq - NII Lectures Series [width=4cm]niilogo.jpg - Grand theft - Document - PDFSEARCH.IO

First Page	Meta Content
	Lecture 7 Generate-Test-Aggregate in Coq - NII Lectures Series [width=4cm]niilogo.jpg Add to Reading List Document Date: 2013-11-28 19:26:39 Open Document File Size: 1,19 MB Share Result on Facebook City Paris / / Facility Kyushu University of Technology / / Organization Kyushu University / / Person Julien Tesson / / ProgrammingLanguage Scala / / SocialTag Mathematics Operations research Combinatorial optimization NP-complete problems Windows games Knapsack problem Semiring Grand Theft Auto IV Grand Theft Auto V Theoretical computer science

Lecture 7 Generate-Test-Aggregate in Coq - NII Lectures Series [width=4cm]niilogo.jpgAdd to Reading List