Lògica matemàtica

Listing items with Subject "Lògica matemàtica"

32 items found

Showing titles from 0 to 25:

  1  2   
FormatDateTitleAuthor
FormatDateTitleAuthor
doc icon DUGiDocs 2011 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
doc icon DUGiDocs 2014 February 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 2018 June 1 Anti-unification for unranked terms and hedges
out url icon Recercat 2018 June 5 Anti-unification for unranked terms and hedges Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
doc icon DUGiDocs 2016 June 1 Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers Ansótegui, Carlos ; Bofill Arasa, Miquel ; Manyà, Felip ; 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 MDC 1958 November 10 Carta de 1958-11-10 a José Ferrater Mora des de Potenza (Itàlia) Pisani, Nicolás
doc icon DUGiDocs 2012 May 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 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 2018 June 1 An Efficient Nominal Unification Algorithm
out url icon Recercat 2018 June 5 An Efficient Nominal Unification Algorithm Levy, Jordi ; Villaret i Ausellé, Mateu
out url icon Recercat 2018 June 1 Higher-Order Pattern Anti-Unification in Linear Time
out url icon Recercat 2018 June 5 Higher-Order Pattern Anti-Unification in Linear Time Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu ​
media icon DUGiMedia 2015 November 12 Lògica borrosa i lògica Esteva Massaguer, Francesc ; Godo i Lacasa, Lluís
media icon MDX 2010 October 8 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 2010 October 8 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
out url icon Recercat 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
out url icon Recercat 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   

Subjects

Authors