Revistes i Congressos UPC: 1997, Vol. IV, Núm. 2


English Castellano Català

	Pàgina d'inici
	Estadístiques d'ús

Llistar
	Revistes
	Congressos
	Títol
	Autor
	Data de publicació
	Matèria
	Àrees temàtiques de la UPC

Serveis
	El meu DSpace usuaris autoritzats
	Dades personals
	Entrada usuaris no UPC


	Sobre DSpace

	Bibliotècnica: la biblioteca digital de la UPC

Mathware & soft computing

o Llista per

Part B: Special issue on Deduction in many-valued logic.

Data de publicació	Títol	Autor(s)
1997	Parameterized prime implicant/implicate computations for regular logics	Ramesh, Anavi; Murray, Neil V.
1997	Computing multiple-valued logic programs	Lu, James J.; Calmet, Jacques; Schü, Joachim
1997	A reduction-based theorem prover for 3-valued logic	Aguilera Venegas, Gabriel; Pérez de Guzmán Molina, Inmaculada; Ojeda Aciego, Manuel
1997	Deduction in many-valued logics: a survey	Hähnle, Reiner; Escalada Imaz, Gonzalo
1997	Editorial [Special issue: Deduction in MVL]	Escalada Imaz, Gonzalo; Hähnle, Reiner