@misc{machado1992logica,
  title={L{\'o}gica Computacional},
  author={Machado, J and Neves, J},
  year={1992},
  publisher={Unidades de Ensino, Universidade do Minho}
}

{"_id":"Pr8BHJ9x5ip36yF7c","bibbaseid":"machado-neves-lgicacomputacional-1992","author_short":["Machado, J","Neves, J"],"bibdata":{"bibtype":"misc","type":"misc","title":"Lógica Computacional","author":[{"propositions":[],"lastnames":["Machado"],"firstnames":["J"],"suffixes":[]},{"propositions":[],"lastnames":["Neves"],"firstnames":["J"],"suffixes":[]}],"year":"1992","publisher":"Unidades de Ensino, Universidade do Minho","bibtex":"@misc{machado1992logica,\n title={L{\\'o}gica Computacional},\n author={Machado, J and Neves, J},\n year={1992},\n publisher={Unidades de Ensino, Universidade do Minho}\n}\n\n","author_short":["Machado, J","Neves, J"],"key":"machado1992logica","id":"machado1992logica","bibbaseid":"machado-neves-lgicacomputacional-1992","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"misc","biburl":"https://jmm.di.uminho.pt/wp-content/uploads/2025/06/scholar.bib","dataSources":["8AM3RTP5FSjhY79FT","vEyY22JjsZkW6JeBK"],"keywords":[],"search_terms":["gica","computacional","machado","neves"],"title":"Lógica Computacional","year":1992}