View in EDS PDF Full Text

NADIA - Natural DeductIon proof Assistant: Um Assistente de Provas de Dedução Natural para Lógica Proposicional e Lógica de Predicados.

Saved in:
Bibliographic Details
Title: NADIA - Natural DeductIon proof Assistant: Um Assistente de Provas de Dedução Natural para Lógica Proposicional e Lógica de Predicados.
Alternate Title: NADIA - Natural DeductIon proof Assistant: a Natural Deduction Assistant for Propositional and Predicate Logic.
NADIA - Natural DeductIon proof Assistant: Un Asistente de Pruebas de Deducción Natural para Lógica Proposicional y Lógica de Predicados.
Authors: Romero de Vasconcelos, Davi1 daviromero@ufc.br, Viviane Menezes, Maria1 vivianemenezes@ufc.br
Source: Revista Brasileira de Informática na Educação. 2024, Vol. 32, p842-870. 29p.
Database: Academic Search Ultimate
FullText Links:
  – Type: pdflink
Text:
  Availability: 0
Header DbId: asn
DbLabel: Academic Search Ultimate
An: 186076178
AccessLevel: 2
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: NADIA - Natural DeductIon proof Assistant: Um Assistente de Provas de Dedução Natural para Lógica Proposicional e Lógica de Predicados.
– Name: TitleAlt
  Label: Alternate Title
  Group: TiAlt
  Data: NADIA - Natural DeductIon proof Assistant: a Natural Deduction Assistant for Propositional and Predicate Logic.<br />NADIA - Natural DeductIon proof Assistant: Un Asistente de Pruebas de Deducción Natural para Lógica Proposicional y Lógica de Predicados.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Romero+de+Vasconcelos%2C+Davi%22">Romero de Vasconcelos, Davi</searchLink><relatesTo>1</relatesTo><i> daviromero@ufc.br</i><br /><searchLink fieldCode="AR" term="%22Viviane+Menezes%2C+Maria%22">Viviane Menezes, Maria</searchLink><relatesTo>1</relatesTo><i> vivianemenezes@ufc.br</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Revista+Brasileira+de+Informática+na+Educação%22">Revista Brasileira de Informática na Educação</searchLink>. 2024, Vol. 32, p842-870. 29p.
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=asn&AN=186076178
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.5753/rbie.2024.3249
    Languages:
      – Code: por
        Text: Portuguese
    PhysicalDescription:
      Pagination:
        PageCount: 29
        StartPage: 842
    Titles:
      – TitleFull: NADIA - Natural DeductIon proof Assistant: Um Assistente de Provas de Dedução Natural para Lógica Proposicional e Lógica de Predicados.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Romero de Vasconcelos, Davi
      – PersonEntity:
          Name:
            NameFull: Viviane Menezes, Maria
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Text: 2024
              Type: published
              Y: 2024
          Identifiers:
            – Type: issn-print
              Value: 14145685
          Numbering:
            – Type: volume
              Value: 32
          Titles:
            – TitleFull: Revista Brasileira de Informática na Educação
              Type: main
ResultId 1