Generating Plans from Proofs
Michael Benedikt, Julien Leblay, Balder ten Cate, Efthymia Tsamoura
Häftad
719 kr
Del 9209 i serien Lecture Notes in Computer Science
579 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.