Proof-number search

  • Authors:
  • L. Victor Allis;Maarten van der Meulen;H. Jaap van den Herik

  • Affiliations:
  • Univ. of Limburg, Netherlands;Univ. of Limburg, Netherlands;-

  • Venue:
  • Artificial Intelligence
  • Year:
  • 1994

Quantified Score

Hi-index 0.00

Visualization

Abstract