Ken McMillan – författare
Visar alla böcker från författaren Ken McMillan. Handla med fri frakt och snabb leverans.
2 produkter
Logic for Programming, Artificial Intelligence, and Reasoning
19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings
Av Ken McMillan, Aart Middeldorp m. fl.
Häftad, 2013
567 kr
Lägg i varukorg
This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, held in December 2013 in Stellenbosch, South Africa. The 44 regular papers and 8 tool descriptions and experimental papers included in this volume …
Logic for Programming, Artificial Intelligence, and Reasoning
19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings
Av Andrei Voronkov, Aart Middeldorp m. fl.
E-bok, 2013
755 kr
Lägg i varukorg
This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, held in December 2013 in Stellenbosch, South Africa. The 44 regular papers and 8 tool descriptions and experimental papers included in this volume …
