Generating Plans from Proofs
Michael Benedikt, Julien Leblay, Balder ten Cate, Efthymia Tsamoura
Häftad
550 kr
AvBalder ten Cate,Alessandra Mileo
Del 9209 i serien Lecture Notes in Computer Science
441 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.