Instituciones
Área de conocimientoIdentificadores de autorPeriodo de publicación recogido
|
|
|
La indústria: un futur possible per a l'economia valenciana
R. Beneyto
Nexe: debats valencians, ISSN 1699-7581, Nº. 2, 2006 (Ejemplar dedicado a: L'economia valenciana en la cruïlla), págs. 53-58
R. Beneyto
Mètode: Anuario, ISSN-e 1133-3987, Nº. 2004, 2004, págs. 165-168
Implantar el llenguatge natural
R. Beneyto
Mètode: Revista de difusió de la investigació, ISSN 1133-3987, Nº. 39, 2003 (Ejemplar dedicado a: Del crit a la paraula), págs. 81-83
Binarización de máquinas: un procedimiento
R. Beneyto
Quaderns de Filosofia i Ciència, ISSN-e 0213-5965, Nº. 25-26, 1995 (Ejemplar dedicado a: Actes del IXè Congrés de Filosofia del País Valencià, Peníscola (Baix Maestrat), abril de 1992), págs. 117-122
La lógica de los métodos de indagación de J. S. Mill
R. Beneyto
Quaderns de Filosofia i Ciència, ISSN-e 0213-5965, Nº. 9-10, 1986, págs. 37-43
Decisión natural: un sistema basado en los análisis de Gentzen y Prawitz
R. Beneyto
Cuadernos de filosofía y ciencia, ISSN 0212-2669, Nº. 4, 1983 (Ejemplar dedicado a: Actas del "I Congrés de Filosofia al País Valencià"), págs. 95-103
Confección automática de tablas de verdad
R. Beneyto
Teorema: Revista internacional de filosofía, ISSN 0210-1602, Vol. 7, Nº. 2, 1977, págs. 167-174
Un aspecto natural de la deducción natural
R. Beneyto
Teorema: Revista internacional de filosofía, ISSN 0210-1602, Vol. 5, Nº. 3-4, 1975, págs. 361-382
Arboles, lógica y mecanismos de decisión
R. Beneyto
Teorema: Revista internacional de filosofía, ISSN 0210-1602, Vol. 3, Nº. 2-3, 1973, págs. 289-314
Modelo deductivo de la explicación de leyes
R. Beneyto
Teorema: Revista internacional de filosofía, ISSN 0210-1602, Vol. 2, Nº. 6, 1972, págs. 113-118
The philosophy of mathematics, de Jaakko Hintikka (ed.)
R. Beneyto (res.)
Teorema: Revista internacional de filosofía, ISSN 0210-1602, Vol. 2, Nº. 5, 1972, págs. 134-136
R. Beneyto
Teorema: Revista internacional de filosofía, ISSN 0210-1602, Vol. 1, Nº. 4, 1971, págs. 19-30
First-order logic, de R. M. Smullyan
R. Beneyto (res.)
Teorema: Revista internacional de filosofía, ISSN 0210-1602, Vol. 1, Nº. 3, 1971, págs. 136-138
La investigación científica: su estrategia y su filosofía, de M. Bunge
R. Beneyto (res.)
Teorema: Revista internacional de filosofía, ISSN 0210-1602, Vol. 1, Nº. 3, 1971, págs. 140-142
Desarrollos y orientaciones recientes en lógica
Nicholas Rescher, R. Beneyto (trad.)
Teorema: Revista internacional de filosofía, ISSN 0210-1602, Vol. 1, Nº. 2, 1971, págs. 51-56
Una orientación reciente de la lógica olvidada
Yehoshua Bar-Hillel, R. Beneyto (trad.)
Teorema: Revista internacional de filosofía, ISSN 0210-1602, Vol. 1, Nº. 2, 1971, págs. 65-69
Las VIII convivencias de filosófos jóvenes
F. Ferrer, R. Beneyto
Teorema: Revista internacional de filosofía, ISSN 0210-1602, Vol. 1, Nº. 2, 1971, págs. 139-143
Fundamentación lógica de la física, de Rudolf Carnap
R. Beneyto (res.)
Teorema: Revista internacional de filosofía, ISSN 0210-1602, Vol. 1, Nº. 1, 1971, págs. 155-157
Un input para la máquina universal de Turing
R. Beneyto
Actas del VI Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España (SLMFCE): 18 - 21 de noviembre / coord. por Jesús Alcolea Banegas, Valeriano Iranzo García, Ana Sánchez, Jordi Valor Abad, 2009, ISBN 978-84-370-7655-3, págs. 23-29
On some natural generalizations of weak Kleene logic
R. Beneyto, José Martínez Fernández
Actas del VI Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España (SLMFCE): 18 - 21 de noviembre / coord. por Jesús Alcolea Banegas, Valeriano Iranzo García, Ana Sánchez, Jordi Valor Abad, 2009, ISBN 978-84-370-7655-3, págs. 31-35
Decisión natural: un sistema buscador de pruebas
R. Beneyto
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. 21-27
Consistencia de la lógica mínima e intuicionista: una aplicación del Teorema de Inversión de Prawitz
R. Beneyto
VIé. Congrés de Filosofia al País Valencià (Elx, 1989), 1991, ISBN 84-7784-987-0, págs. 155-159
Forma normal de pruebas: dos aplicaciones
R. Beneyto
Lenguajes naturales y lenguajes formales : actas del V congreso de lenguajes naturales y lenguajes formales : (Villafranca del Penedès-Barcelona, 18-22 de septiembre de 1989) / coord. por Carlos Martín Vide, Vol. 2, 1990, ISBN 84-7665-691-2, págs. 363-370
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 Gracia Manzano Arjona, 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
Lógica y tratamiento automático de problemas
R. Beneyto
Simposio Hispano-Mexicano de Filosofía: Salamanca, Octubre 1984 / Sebastián Álvarez Toledo (comp.), Fernando Broncano (comp.), Miguel Ángel Quintanilla Fisac (comp.), Vol. 2, 1986 (Lógica y filosofía del lenguaje), ISBN 84-7481-386-7, págs. 144-159
De los cuatro métodos de indagación experimental
John Stuart Mill (1806-1873), R. Beneyto
Universidad de Valencia = Universitat de València, 1980. ISBN 84-370-0139-0
Max Black, J. L. Mackie, Alfonso García Suárez, R. Beneyto, Pascual Casañ Muñoz
Madrid : Cátedra, D.L. 1979. ISBN 84-376-0188-6
Los segundos pensamientos de Kuhn
Alan E. Musgrave, R. Beneyto
Universidad de Valencia = Universitat de València, 1978. ISBN 84-370-0073-4
Entrañamiento semántico y derivabilidad formal
Evert Willem Beth, Manuel Garrido, R. Beneyto
Universidad de Valencia = Universitat de València, 1978. ISBN 84-370-0054-8
Tesis doctoral dirigida por R. Beneyto (dir. tes.). Universitat de València (2010).
Yehoshua bar-hillel: lógica de los lenguajes naturales, información semántica y lingüística teórica
Ana Eugenia Solans García
Tesis doctoral dirigida por R. Beneyto (dir. tes.). Universitat de València (2001).
Teorías de la verdad para lenguajes autorreferentes: una solución parcial al problema del punto fijo
José Javier Martínez Fernández
Tesis doctoral dirigida por R. Beneyto (dir. tes.). Universitat de València (1999).
Medidas computacionales de ganancia de información y refuerzo en procesos de inferencia
Tesis doctoral dirigida por R. Beneyto (dir. tes.). Universitat de València (1999).
Tesis doctoral dirigida por R. Beneyto (dir. tes.). Universitat de València (1989).
De la teoría del significado en Prawitz a la búsqueda inteligente de pruebas: una aplicación del teorema de inversión a la inteligencia artificial
Tesis doctoral dirigida por R. Beneyto (dir. tes.). Universitat de València (1989).
Sistemas lógico modales, necesidad física y contrafácticos
José Miguel Sagüillo Fernández-Vega
Tesis doctoral dirigida por R. Beneyto (dir. tes.). Universidade de Santiago de Compostela (1988).
Lenguaje y acción: un análisis del lenguaje de los directivos
Tesis doctoral dirigida por R. Beneyto (dir. tes.). Universidade de Santiago de Compostela (1983).
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