A new decidable Horn fragment of predicate calculus.
Orevkov, V.P. (2004)
Zapiski Nauchnykh Seminarov POMI
Similarity:
Displaying similar documents to “Primer centenario de G. Boole.”
A new decidable Horn fragment of predicate calculus.
John von Neumann, precursor del Cálculo Científico.
Jesús Idelfonso Díaz (1998)
Historia de la Matemática
Similarity:
Axiomática de álgebra de Boole.
Antonio González Carloman (1976)
Gaceta Matemática
Similarity:
Aplicaciones del Álgebra de Boole métrica a la Teoría de la Medida.
M.A. Jiménez Pozo, A. López García (2006)
Gaceta de la Real Sociedad Matemática Española
Similarity:
[unknown]
F. González-Gascón (1977)
Gaceta Matemática
Similarity:
Existence, uniqueness, approxiniate solutions construction and errors valuation theorems concerning mixed structure mathematical systems which generalizate the normal functioning of a single nerve equations.
D. Mangeron, L. E. Krivoshein, D. L. Fernández (1982)
Revista de la Real Academia de Ciencias Exactas Físicas y Naturales
Similarity:
New trends in mechanics. I. Generalized differential variational principles in rational mechanics.
D. Mangeron, N. Irimiciuc, U. D'Ambrosio (1981)
Revista de la Real Academia de Ciencias Exactas Físicas y Naturales
Similarity:
Sobre una compactificación de espacios vectoriales normados no arquimedianos.
José Ramirez Labrador (1985)
Revista de la Real Academia de Ciencias Exactas Físicas y Naturales
Similarity:
Homenaje a la memoria de D. Zoel García de Galdeano.
Rafael Rodríguez Vidal (1964)
Gaceta Matemática
Similarity:
Abraham Bar Hiyya (1070-1136), y su Libro de Geometría.
Francisco Sánchez Faba (1980)
Gaceta Matemática
Similarity:
Teorema de Ramsey aplicado a álgebras de Boole.
F. Benítez Trujillo (1990)
Collectanea Mathematica
Similarity:
Some properties of Boolean algebras are characterized through the topological properties of a certain space of countable sequences of ordinals. For this, it is necessary to prove the Ramsey theorems for an arbitrary infinite cardinal. Also, we define continuous mappings on these spaces from vector measures on the algebra.
Comentarios sobre un libro importante acerca de las matemáticas en la España del siglo XVIII.
R. Rodríguez Vidal (1975)
Gaceta Matemática
Similarity: