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