Programming with higher-order logic
Miller, Dale ET AL
Programming with higher-order logic Miller ET AL - United States of America Dale Miller ET AL 2012 - xiii 306 p.; ill.; 23cm 23cm
9780521879408
Logic programming
Programming with higher-order logic Miller ET AL - United States of America Dale Miller ET AL 2012 - xiii 306 p.; ill.; 23cm 23cm
9780521879408
Logic programming