TY - BOOK AU - Max Bramer TI - Logic Programming with Prolog SN - 978-1-4471-5487-7 PY - 2013/// CY - Germany PB - Springer KW - Computer Science KW - Logic Programming with Prolog UR - http://link.springer.com/openurl?genre=book&isbn=978-1-4471-5486-0 ER -