Labelled Variables in Logic Programming: A First Prototype in tuProlog

   page       BibTeX_logo.png       attach   
PDF Copertina
copertina dei lucidi
talk-cover.jpg