Proof-number search

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

Research output: Book/ReportReportProfessional

Original languageEnglish
Place of PublicationMaastricht
PublisherUniversity of Limburg, Department of Computer Science
Number of pages33
Publication statusPublished - 1991
Externally publishedYes

Publication series

NameTechnical reports in computer science
No.CS 91-01

Cite this

Allis, L. V., van der Meulen, M., & van den Herik, H. J. (1991). Proof-number search. (Technical reports in computer science; No. CS 91-01). University of Limburg, Department of Computer Science.