Logic
Listing items with Subject "Logic"
90 items found
Showing titles from 0 to 25:
Format | Date | Title | Author |
---|
Format | Date | Title | Author |
|
2023 April 27 |
Acerca de condicionales normativos |
Moreso, Jose Juan
|
|
|
Anti-Uni铿乧ation for Unranked Terms and Hedges |
Kutsia, Temur
; Levy, Jordi
; Villaret i Ausell茅, Mateu
|
|
|
Anti-Uni铿乧ation 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-Uni铿乧ation 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
|
|
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
|
|
2016 September |
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
|
|
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
|
|
1955 January 6 |
Carta de 1955-01-06 a Jos茅 Ferrater Mora des de Barcelona (Espanya) |
Carreras i Artau, Joaquim
|
|
1958 November 10 |
Carta de 1958-11-10 a Jos茅 Ferrater Mora des de Potenza (It脿lia) |
Pisani, Nicol谩s
|
|
2004 July 12 |
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
|
|
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
|
|
|
Correcci贸 d鈥檈xercicis de l貌gica per l鈥橝CME |
Torm Bossa, Gemma
|
|
2012 May |
Correcci贸 d鈥檈xercicis de l貌gica per l鈥橝CME |
Torm Bossa, Gemma
|