Proof-number search

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

Research output: Book/Report › Report

Original language	English
Place of Publication	Maastricht
Publisher	University of Limburg, Department of Computer Science
Number of pages	33
Publication status	Published - 1991
Externally published	Yes

Name	Technical reports in computer science
No.	CS 91-01

Cite this

@book{4f71ae2278eb40a08f6b8390208918a8,

title = "Proof-number search",

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

note = "Pagination: 33",

year = "1991",

language = "English",

series = "Technical reports in computer science",

publisher = "University of Limburg, Department of Computer Science",

number = "CS 91-01",

}