Utilizando iALC para Formalizar a Legislação Brasileira

Downloads:

• No text available
• No slides available

BibTeX:

@inproceedings{ebl-2019-ialc,
  author = {Alkmim, Bernardo and Haeusler, Edward Hermann and Rademaker, Alexandre},
  title = {Utilizando iALC para Formalizar a Legislação Brasileira},
  optcrossref = {},
  optkey = {},
  booktitle = {19th Brazilian Logic Conference: Book of Abstracts},
  year = {2019},
  opteditor = {},
  optvolume = {},
  optnumber = {},
  optseries = {},
  optpages = {},
  optmonth = {May},
  address = {João Pessoa},
  optorganization = {},
  optpublisher = {},
  note = {See https://ebl2019.ci.ufpb.br},
  optannote = {}
}