• ABOUT US
  • RESEARCH
  • PEOPLE
  • PUBLICATIONS
    • ARTICLES
    • BOOKS
    • BOOK CHAPTERS
    • DISSERTATIONS
    • EDITORIALS
    • IN PROCEEDINGS
  • ACTIVITIES
    • PROJECTS
    • GRADUATION ACTIVITIES
    • PROTOTYPES
    • SEMINARS
    • DISTINGUISHED LECTURES
    • EVENT ORGANIZATIONS
    • EDITORIAL COMMITTEES
  • SOCIETY
  • LOGIN

    Books details

  • Reasoning with Logic Programming
  • Jan 1996
  • Springer
  • José Júlio Alferes, Luís Moniz Pereira
  • LNAI 1111
  • http://centria.di.fct.unl.pt/~lmp/publications/online-papers/lnai1111.pdf
  • Address: Berlin
  • 326
  • 1 Jan 1996
  • About us

  • Research Areas

  • People

  • Publications

  • Activities

  • Departamento de Informática, FCT/UNL
    Quinta da Torre P-2829-516
    CAPARICA, Portugal

  • nova-lincs.secretariado(AT)fct.unl.pt

  • direct +351 212948536
    central +351 212948300
    central +351 212948500