Proof-number search / L.V. Allis, M. van der Meulen and H.J. van den Herik
mainEntity
Proof-number search / L.V. Allis, M. van der Meulen and H.J. van den Herik
about
author
contributor
inLanguage
isPartOf
mainEntityOfPage
name
Proof-number search
numberOfPages
publication
sameAs
label
Proof-number search / L.V. Allis, M. van der Meulen and H.J. van den Herik