Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: H

Number of items: 1.

H

Howe, Jacob M. and King, Andy (2010) A Pearl on SAT Solving in Prolog. In: Blume, Matthias and Vidal, German, eds. Functional and Logic Programming. Lecture Notes in Computer Science . Springer-Verlag, pp. 182-196. ISBN 978-3-642-12250-7. (doi:10.1007/978-3-642-12251-4_13) (KAR id:30674)

This list was generated on Fri Apr 26 23:15:01 2024 BST.