On Correctness and Completeness of an n Queens Program

   page       BibTeX_logo.png       attach   
copertina della pubblicazione
pub-cover.jpg