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