1. DIGITAL.CSIC
English   español  

Navegación por Autor Vidal, Amanda

Ir a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
O introducir las primeras letras:  
Mostrando resultados 21 a 24 de 24 < Anterior 
DerechosPreviewFecha Public.TítuloAutor(es)Tipo
openAccessTableaux for Maximum Satisfiability in Łukasiewicz Logic.pdf.jpg10-nov-2020Tableaux for Maximum Satisfiability in Lukasiewicz LogicManyà, Felip CSIC ORCID ; Min Li, Chu; Vidal, Amandacomunicación de congreso
openAccessLNCS9321_221-229.pdf.jpg2015The Complexity of 3-Valued Lukasiewicz RulesBofill, Miquel; Manyà, Felip CSIC ORCID ; Vidal, Amanda; Villaret, Mateucomunicación de congreso
openAccessTRUTH RESERVATION UNDER FUZZY PP FORMULAS.pdf.jpg2019Truth-Preservation under Fuzzy pp-FormulasDellunde, Pilar CSIC ORCID ; Vidal, Amandaartículo
openAccess28-jun-2016Undecidability of some Product Modal LogicsVidal, Amandacomunicación de congreso
Mostrando resultados 21 a 24 de 24 < Anterior