Logic, Symbolic and mathematical

Llistar Títols per Matèria "Logic, Symbolic and mathematical"

S'han trobat 34 ítems

Llistant ítems des de 0 a 25:

  1  2   
FormatDataTítolAutor
FormatDataTítolAutor
out url icon Recercat Anti-Unification for Unranked Terms and Hedges Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
out url icon Recercat Anti-Unification for Unranked Terms and Hedges Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
out url icon Recercat Anti-unification for unranked terms and hedges Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
out url icon Recercat 1 juny 2018 Anti-unification for unranked terms and hedges
out url icon Recercat 5 juny 2018 Anti-unification for unranked terms and hedges Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
doc icon DUGiDocs 2011 Anti-Unification for Unranked Terms and Hedges Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
doc icon DUGiDocs febrer 2014 Anti-unification for unranked terms and hedges Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
out url icon Recercat Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers Ansótegui, Carlos ; Bofill Arasa, Miquel ; Manyà, Felip ; Villaret i Ausellé, Mateu
doc icon DUGiDocs 1 juny 2016 Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers Ansótegui, Carlos ; Bofill Arasa, Miquel ; Manyà, Felip ; Villaret i Ausellé, Mateu
doc icon MDC 10 novembre 1958 Carta de 1958-11-10 a José Ferrater Mora des de Potenza (Itàlia) Pisani, Nicolás
doc icon DUGiDocs maig 2012 Correcció d’exercicis de lògica per l’ACME Torm Bossa, Gemma
out url icon Recercat Correcció d’exercicis de lògica per l’ACME Torm Bossa, Gemma
doc icon DUGiDocs juny 2022 Creació i avaluació d’un material lògic estructuratn per a les matemàtiques del segon cicle d’educació infantil Portas Tribulietx, Ona
doc icon DUGiDocs 2010 An Efficient Nominal Unification Algorithm Levy, Jordi ; Villaret i Ausellé, Mateu
out url icon Recercat An Efficient Nominal Unification Algorithm Levy, Jordi ; Villaret i Ausellé, Mateu
out url icon Recercat An Efficient Nominal Unification Algorithm Levy, Jordi ; Villaret i Ausellé, Mateu
out url icon Recercat 1 juny 2018 An Efficient Nominal Unification Algorithm
out url icon Recercat 5 juny 2018 An Efficient Nominal Unification Algorithm Levy, Jordi ; Villaret i Ausellé, Mateu
out url icon Recercat 1 juny 2018 Higher-Order Pattern Anti-Unification in Linear Time
out url icon Recercat 5 juny 2018 Higher-Order Pattern Anti-Unification in Linear Time Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu ​
doc icon DUGiDocs 1 febrer 2017 Higher-Order Pattern Anti-Unification in Linear Time Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
media icon DUGiMedia 12 novembre 2015 Lògica borrosa i lògica Esteva Massaguer, Francesc ; Godo i Lacasa, Lluís
media icon MDX 8 octubre 2010 Sessions per a mestres sobre l’ensenyament de les correspondències matemàtiques de qualitat i quantitat [8-10-2010] Canals, Maria Antònia
media icon DUGiMedia 8 octubre 2010 Sessions per a mestres sobre l’ensenyament de les correspondències matemàtiques de qualitat i quantitat [8-10-2010] Canals, Maria Antònia
doc icon DUGiDocs 2009 SIMPLY: a Compiler from a CSP Modeling Language to the SMT-LIB Format Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
  1  2   

Matèries

Autors