Logic

Listing items with Subject "Logic"

88 items found

Showing titles from 0 to 25:

  1  2  3  4   
FormatDateTitleAuthor
FormatDateTitleAuthor
out url icon Recercat Anti-Uni铿乧ation for Unranked Terms and Hedges Kutsia, Temur ; Levy, Jordi ; Villaret i Ausell茅, Mateu
out url icon Recercat Anti-Uni铿乧ation 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 2011 Anti-Uni铿乧ation 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
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 2016 September 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 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 1955 January 6 Carta de 1955-01-06 a Jos茅 Ferrater Mora des de Barcelona (Espanya) Carreras i Artau, Joaquim
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 2004 July 12 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 2006 March 24 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 2012 May Correcci贸 d鈥檈xercicis de l貌gica per l鈥橝CME Torm Bossa, Gemma
out url icon Recercat Correcci贸 d鈥檈xercicis de l貌gica per l鈥橝CME Torm Bossa, Gemma
doc icon DUGiDocs 2022 June Creaci贸 i avaluaci贸 d鈥檜n material l貌gic estructuratn per a les matem脿tiques del segon cicle d鈥檈ducaci贸 infantil Portas Tribulietx, Ona
  1  2  3  4   

Subjects

Authors