DUGi: Browse by Title | dc.subject:"Logic"

Browse by Title

90 items found

Showing titles from 0 to 25:

1 2 3 4

Format	Date	Title	Author
Format	Date	Title	Author
	2023 April 27	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
	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ﬁcation 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’exercicis de lògica per l’ACME	Torm Bossa, Gemma
	2012 May	Correcció d’exercicis de lògica per l’ACME	Torm Bossa, Gemma

1 2 3 4

DUGi

UdG's digital documents access portal

Browse by Title

Subjects

Authors