DUGi: Llistar Títols | dc.subject:"Logic"

Llistar Títols

S'han trobat 90 ítems

Llistant ítems des de 0 a 25:

1 2 3 4

Format	Data	Títol	Autor
Format	Data	Títol	Autor
	27 abril 2023	Acerca de condicionales normativos	Moreso, Jose Juan
		Anti-Uniﬁcation for Unranked Terms and Hedges	Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
		Anti-Uniﬁcation 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-Uniﬁcation 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

1 2 3 4

DUGi

Portal de cerca conjunta als documents digitals de la UdG

Llistar Títols

Matèries

Autors