Scan gewoon een ISBN om het direct aan je bibliotheek toe te voegen. Nu beschikbaar op iOS en Android.
Logic for Programming and Automated Reasoning: 6th International Conference, Lpar'99 Tbilisi, Georgia, September 6-10, 1999 Proceedings. Lecture Notes in Artificial Intelligence, Volume 1705, Subseries of Lecture Notes in Computer Science.