Logic
Llistar Títols per Matèria "Logic"
S'han trobat 90 ítems
Llistant ítems des de 0 a 25:
Format | Data | Títol | Autor |
---|
Format | Data | Títol | Autor |
|
27 abril 2023 |
Acerca de condicionales normativos |
Moreso, Jose Juan
|
|
|
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
|
|
1 juny 2018 |
Anti-unification for unranked terms and hedges |
|
|
5 juny 2018 |
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
|
|
febrer 2014 |
Anti-unification for unranked terms and hedges |
Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
1994 |
Aplicación de una FPGA: Módulo de Grabación/reproducción de mensajes |
Martí Bonmatí, Joan
; Pacheco Valls, Lluís
; Forest Collado, Josep
|
|
|
Aplicación de una FPGA: Módulo de Grabación/reproducción de mensajes |
Martí Bonmatí, Joan
; Pacheco Valls, Lluís
; Forest Collado, Josep
|
|
|
Aplicación de una FPGA: Módulo de Grabación/reproducción de mensajes |
Martí Bonmatí, Joan
; Pacheco Valls, Lluís
; Forest Collado, Josep
|
|
|
Argumentació informal: anàlisi dels criteris de bona argumentació de la dra. Montserrat Bordes Solanas |
Flórez Sarasa, Ángel
|
|
|
Argumentació informal: anàlisi dels criteris de bona argumentació de la dra. Montserrat Bordes Solanas |
Flórez Sarasa, Ángel
|
|
|
Argumentació informal: anàlisi dels criteris de bona argumentació de la dra. Montserrat Bordes Solanas |
Flórez Sarasa, Ángel
|
|
setembre 2016 |
Argumentació informal: anàlisi dels criteris de bona argumentació de la dra. Montserrat Bordes Solanas |
Flórez Sarasa, Ángel
|
|
|
Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers |
Ansótegui, Carlos
; Bofill Arasa, Miquel
; Manyà, Felip
; Villaret i Ausellé, Mateu
|
|
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
|
|
6 gener 1955 |
Carta de 1955-01-06 a José Ferrater Mora des de Barcelona (Espanya) |
Carreras i Artau, Joaquim
|
|
10 novembre 1958 |
Carta de 1958-11-10 a José Ferrater Mora des de Potenza (Itàlia) |
Pisani, Nicolás
|
|
12 juliol 2004 |
Case based reasoning as an extension of fault dictionary methods for linear electronic analog circuits diagnosis |
Pous i Sabadí, Carles
|
|
|
Case based reasoning as an extension of fault dictionary methods for linear electronic analog circuits diagnosis |
Pous i Sabadí, Carles
|
|
|
Control basat en lògica difusa per sistemes de fangs activats. Disseny, implementació i validació en EDAR reals |
Fiter i Cirera, Mireia
|
|
24 març 2006 |
Control basat en lògica difusa per sistemes de fangs activats. Disseny, implementació i validació en EDAR reals |
Fiter i Cirera, Mireia
|
|
|
Correcció d’exercicis de lògica per l’ACME |
Torm Bossa, Gemma
|
|
maig 2012 |
Correcció d’exercicis de lògica per l’ACME |
Torm Bossa, Gemma
|