InstitucionesÁrea de conocimientoIdentificadores de autorPeriodo de publicación recogido
|
|
|
Millora de l'actuació docent del professorat de Matemàtiques
Antoni Benseny, Maria Carme Cascante Canut, Joan Gispert Brasó, Buenaventura Verdú i Solans
REIRE: revista d'innovació i recerca en educació, ISSN-e 2013-2255, Vol. 5, Nº. 2, 2012, págs. 1-21
Josep Pla i Carrera, Buenaventura Verdú i Solans
Publicacions matematiques, ISSN 0214-1493, Nº 20, 1980, págs. 97-99
Caracteritzacions lògiques de certes àlgebres
Buenaventura Verdú i Solans
Publicacions matematiques, ISSN 0214-1493, Nº 20, 1980, págs. 105-107
Lògiques distributives i booleanes.
Buenaventura Verdú i Solans
Stochastica: revista de matemática pura y aplicada, ISSN 0210-7821, Vol. 3, Nº. 2, 1979, págs. 97-108
Sistemas de Gentzen albebrizables para las lógicas de Lambek, Girard, relevancia y BCK
Román Adillón, Buenaventura Verdú i Solans
Actas del I Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: [Madrid 15,16 y 17 de diciembre de 1993] / Eugenio de Bustos Tovar (dir. congr.), Javier Echeverría Ezponda (dir. congr.), Eulalia Pérez Sedeño (dir. congr.), María Isabel Sánchez Balmaseda (dir. congr.), 1997, ISBN 84-604-8342-8, págs. 2-5
Lógicas de Kukasiewicz congruenciales: Teorema de la deducción
Ángel Javier Gil Estallo, Antoni Torrens Torrell, Buenaventura Verdú i Solans
Actas del I Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: [Madrid 15,16 y 17 de diciembre de 1993] / Eugenio de Bustos Tovar (dir. congr.), Javier Echeverría Ezponda (dir. congr.), Eulalia Pérez Sedeño (dir. congr.), María Isabel Sánchez Balmaseda (dir. congr.), 1997, ISBN 84-604-8342-8, págs. 71-74
Sistemas de Gentzen algebrizables
Jordi Rebagliato, Buenaventura Verdú i Solans
Actas del I Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: [Madrid 15,16 y 17 de diciembre de 1993] / Eugenio de Bustos Tovar (dir. congr.), Javier Echeverría Ezponda (dir. congr.), Eulalia Pérez Sedeño (dir. congr.), María Isabel Sánchez Balmaseda (dir. congr.), 1997, ISBN 84-604-8342-8, págs. 114-117
El Teorema de la Deducción para sistemas de Gentzen
Jordi Rebagliato, Buenaventura Verdú i Solans
Actas del I Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: [Madrid 15,16 y 17 de diciembre de 1993] / Eugenio de Bustos Tovar (dir. congr.), Javier Echeverría Ezponda (dir. congr.), Eulalia Pérez Sedeño (dir. congr.), María Isabel Sánchez Balmaseda (dir. congr.), 1997, ISBN 84-604-8342-8, págs. 118-121
Lógica algebraica: algunos métodos y algunas aplicaciones
Josep Maria Font i Llobet, Josep Pla i Carrera, Buenaventura Verdú i Solans
Lenguajes naturales y lenguajes formales : actas del II congreso de lenguajes naturales y lenguajes formales : (Blanes-Gerona, 13-17 de octubre de 1986) / coord. por Carlos Martín Vide, 1987, ISBN 84-7665-141-4, págs. 149-170
Aspectos de la investigación en Lógica en España, hoy
Ignacio Jané Palau, Javier Echeverría Ezponda, J. Daniel Quesada Casajuana, R. Beneyto, Josep Maria Font i Llobet, Antoni Sales Porta, Josep Pla i Carrera, Carlos Sierra García, José Cuena Bartolomé, María Manzano, Buenaventura Verdú i Solans, José Manuel Méndez Rodríguez
Lenguajes naturales y lenguajes formales : actas del III congreso de lenguajes naturales y lenguajes formales : (Sitges-Barcelona, 28 de septiembre-2 de octubre de 1987) / coord. por Carlos Martín Vide, Vol. 1, 1987, ISBN 84-7665-316-6, págs. 271-282
El teorema del Ultrafiltro y el teorema de Adecuación
Buenaventura Verdú i Solans
Actas de las IX Jornadas hispano-lusas de matemáticas: Salamanca. 12-16 abril 1982, Vol. 1, 1982, ISBN 84-7481-230-5, págs. 201-203
Propiedades de los operadores clausura en un conjunto ordenado
Buenaventura Verdú i Solans
Actas de las IV Jornadas matemáticas Luso-Españolas: Jaca, mayo 1977, Vol. 2, 1980, ISBN 84-600-1920-9, págs. 589-596
Sobre pruebas en algebras de probabilidad métrica
Josep Pla i Carrera, Buenaventura Verdú i Solans
Actas de las IV Jornadas matemáticas Luso-Españolas: Jaca, mayo 1977, Vol. 3, 1980, ISBN 84-600-1921-7, págs. 721-729
On some implication-free fragments of substructural and fuzzy logics
Ángel García Cerdaña, Francesc Esteva i Massaguer, Buenaventura Verdú i Solans, Institut d'Investigació en Intelligència Artificial, IIIA-CEAB-CSIC
Consejo Superior de Investigaciones Científicas, CSIC, 2008. ISBN 978-84-00-08668-8
Contribucio a l'estudi de certs tipus de logiques abstractes
Buenaventura Verdú i Solans
Tesis doctoral dirigida por Francesc d'Assís Sales Vallès (dir. tes.). Universitat de Barcelona (1978).
Lógiques basades en normes triangulars: una cotnribució a l'estudi dels seus aspectes subestructurals
José Angel García Cerdaña
Tesis doctoral dirigida por Francesc Esteva i Massaguer (dir. tes.), Buenaventura Verdú i Solans (dir. tes.). Universitat de Barcelona (2007).
Tesis doctoral dirigida por Buenaventura Verdú i Solans (dir. tes.). Universitat de Barcelona (2001).
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados