Logic

Llistar Títols per Matèria "Logic"

S'han trobat 90 ítems

Llistant ítems des de 0 a 25:

  1  2  3  4   
FormatDataTítolAutor
FormatDataTítolAutor
media icon DUGiMedia 27 abril 2023 Acerca de condicionales normativos Moreso, Jose Juan
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
doc icon DUGiDocs 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
out url icon Recercat Aplicación de una FPGA: Módulo de Grabación/reproducción de mensajes Martí Bonmatí, Joan ; Pacheco Valls, Lluís ; Forest Collado, Josep
out url icon Recercat Aplicación de una FPGA: Módulo de Grabación/reproducción de mensajes Martí Bonmatí, Joan ; Pacheco Valls, Lluís ; Forest Collado, Josep
out url icon Recercat Argumentació informal: anàlisi dels criteris de bona argumentació de la dra. Montserrat Bordes Solanas Flórez Sarasa, Ángel
out url icon Recercat Argumentació informal: anàlisi dels criteris de bona argumentació de la dra. Montserrat Bordes Solanas Flórez Sarasa, Ángel
out url icon Recercat Argumentació informal: anàlisi dels criteris de bona argumentació de la dra. Montserrat Bordes Solanas Flórez Sarasa, Ángel
doc icon DUGiDocs setembre 2016 Argumentació informal: anàlisi dels criteris de bona argumentació de la dra. Montserrat Bordes Solanas Flórez Sarasa, Ángel
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 6 gener 1955 Carta de 1955-01-06 a José Ferrater Mora des de Barcelona (Espanya) Carreras i Artau, Joaquim
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 12 juliol 2004 Case based reasoning as an extension of fault dictionary methods for linear electronic analog circuits diagnosis Pous i Sabadí, Carles
out url icon Recercat Case based reasoning as an extension of fault dictionary methods for linear electronic analog circuits diagnosis Pous i Sabadí, Carles
out url icon Recercat Control basat en lògica difusa per sistemes de fangs activats. Disseny, implementació i validació en EDAR reals Fiter i Cirera, Mireia
doc icon DUGiDocs 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
out url icon Recercat Correcció d’exercicis de lògica per l’ACME Torm Bossa, Gemma
doc icon DUGiDocs maig 2012 Correcció d’exercicis de lògica per l’ACME Torm Bossa, Gemma
  1  2  3  4   

Matèries

Autors