Logic, Symbolic and mathematical
Listing items with Subject "Logic, Symbolic and mathematical"
34 items found
Showing titles from 0 to 25:
| Format | Date | Title | Author |
|---|
| Format | Date | Title | Author |
|---|
|
|
Anti-Unification for Unranked Terms and Hedges |
Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
|
Anti-Unification for Unranked Terms and Hedges |
Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
|
Anti-unification for unranked terms and hedges |
Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
2018 June 1 |
Anti-unification for unranked terms and hedges |
|
|
|
2018 June 5 |
Anti-unification for unranked terms and hedges |
Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
2011 |
Anti-Unification for Unranked Terms and Hedges |
Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
2014 February |
Anti-unification for unranked terms and hedges |
Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
|
Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers |
Ansótegui, Carlos
; Bofill Arasa, Miquel
; Manyà, Felip
; Villaret i Ausellé, Mateu
|
|
|
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
|
|
|
1958 November 10 |
Carta de 1958-11-10 a José Ferrater Mora des de Potenza (Itàlia) |
Pisani, Nicolás
|
|
|
2012 May |
Correcció d’exercicis de lògica per l’ACME |
Torm Bossa, Gemma
|
|
|
|
Correcció d’exercicis de lògica per l’ACME |
Torm Bossa, Gemma
|
|
|
2022 June |
Creació i avaluació d’un material lògic estructuratn per a les matemàtiques del segon cicle d’educació infantil |
Portas Tribulietx, Ona
|
|
|
2010 |
An Efficient Nominal Unification Algorithm |
Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
|
An Efficient Nominal Unification Algorithm |
Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
|
An Efficient Nominal Unification Algorithm |
Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
2018 June 1 |
An Efficient Nominal Unification Algorithm |
|
|
|
2018 June 5 |
An Efficient Nominal Unification Algorithm |
Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
2018 June 1 |
Higher-Order Pattern Anti-Unification in Linear Time |
|
|
|
2018 June 5 |
Higher-Order Pattern Anti-Unification in Linear Time |
Baumgartner, Alexander
; Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
2017 February 1 |
Higher-Order Pattern Anti-Unification in Linear Time |
Baumgartner, Alexander
; Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
2015 November 12 |
Lògica borrosa i lògica |
Esteva Massaguer, Francesc
; Godo i Lacasa, Lluís
|
|
|
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
|
|
|
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
|
|
|
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
|
