DSpace DSpace UPC
 English   Castellano   Català  

Revistes i Congressos UPC >
Revistes >
Mathware & soft computing >


Mathware & soft computing

1997, Vol. IV, Núm. 2 : [5]

Cerca a aquesta col·lecció:


 
 

Llista per 
Part B: Special issue on Deduction in many-valued logic.
Vista preliminarData de publicacióTítolAutor(s)
1997Parameterized prime implicant/implicate computations for regular logicsRamesh, Anavi; Murray, Neil V.
1997Computing multiple-valued logic programsLu, James J.; Calmet, Jacques; Schü, Joachim
1997A reduction-based theorem prover for 3-valued logicAguilera Venegas, Gabriel; Pérez de Guzmán Molina, Inmaculada; Ojeda Aciego, Manuel
1997Deduction in many-valued logics: a surveyHähnle, Reiner; Escalada Imaz, Gonzalo
1997Editorial [Special issue: Deduction in MVL]Escalada Imaz, Gonzalo; Hähnle, Reiner

 

Valid XHTML 1.0! Programari DSpace Copyright © 2002-2004 MIT and Hewlett-Packard Comentaris
Universitat Politècnica de Catalunya. Servei de Biblioteques, Publicacions i Arxius