Proof-number search

L.V. Allis, M. van der Meulen, H.J. van den Herik

Research output: Contribution to journal › Article › Professional

Cite this

@article{a16d8c107f4d4470b1d0ace3420d9692,

title = "Proof-number search",

author = "L.V. Allis and {van der Meulen}, M. and {van den Herik}, H.J.",

note = "Pagination: 34",

year = "1994",

language = "English",

volume = "66",

pages = "91--124",

journal = "Artificial Intelligence",

issn = "0004-3702",

publisher = "Elsevier",

number = "1",

}