Miller, Dale A. ((1956- ).)

    Programming with higher-order logic / Dale Miller, Gopalan Nadathur.
    New York : Cambridge University Press, 2012. XIII, 306 s. : il. ; 24 cm.
    ISBN 978-0-521-87940-8

   
T.17829        UKD: 004.047=111