Logic for Programming, Artificial Intelligence, and Reasoning
Nikolaj Bjørner, Andrei Voronkov
Häftad, 2012
566 kr
AvNikolaj Bjørner,Irina Virbitskaite
Del 11964 i serien Lecture Notes in Computer Science
565 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.