32250480
9783642287169
Bj�rner, Nikolaj is the author of 'Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings', published 2012 under ISBN 9783642287169 and ISBN 3642287166.
[read more]