%0 Book %1 books/daglib/0036008 %A Miller, Dale %A Nadathur, Gopalan %D 2012 %I Cambridge University Press %K dblp %P I-XIII, 1-306 %T Programming with Higher-Order Logic. %@ 978-0-521-87940-8

@book{books/daglib/0036008, added-at = {2015-10-28T00:00:00.000+0100}, author = {Miller, Dale and Nadathur, Gopalan}, biburl = {https://www.bibsonomy.org/bibtex/29b1262c981c993561b861c3f976a04c0/dblp}, ee = {http://www.cambridge.org/de/academic/subjects/computer-science/programming-languages-and-applied-logic/programming-higher-order-logic?format=HB}, interhash = {b8fbe4434bdfd1c8d2ccab55c1a09d2e}, intrahash = {9b1262c981c993561b861c3f976a04c0}, isbn = {978-0-521-87940-8}, keywords = {dblp}, pages = {I-XIII, 1-306}, publisher = {Cambridge University Press}, timestamp = {2015-10-29T11:37:26.000+0100}, title = {Programming with Higher-Order Logic.}, year = 2012 }