A proof theory for description logics /

Código QR

A proof theory for description logics /

Detalles Bibliográficos
Autor principal:	Rademaker, Alexandre (Autor/a)
Formato:	Libro
Lenguaje:	English
Publicado:	London : Springer, c2012.
Colección:	SpringerBriefs in computer science / series Editors Stan Zdonik [y otros nueve]
Materias:	REPRESENTACION DEL CONOCIMIENTO (TEORIA DE LA INFORMACION) TEORIA DE LA PRUEBA > PROCESAMIENTO DE DATOS
Acceso en línea:	Ver documento en línea

Ejemplares similares

A logical introduction to proof /
por: Cunningham, Daniel Wendell
Publicado: (2012)

A model-theoretic approach to proof theory /
por: Kotlarski, Henryk 1949-2008
Publicado: (2019)

Number theory ; an introduction to proof
por: Vanden Eynden, Charles 1936-, et al.
Publicado: (1970)

Development of mental representation : theories and applications /
por: Sigel, Irving E.
Publicado: (1999)

Introduction to mathematical proofs : a transition to advanced mathematics /
por: Roberts, Charles E. 1942-
Publicado: (2015)

Control del ciclo de desarrollo de sistemas de información
por: Benjamín, Robert I.
Publicado: (1973)

A knowledge representation practionary : guidelines based on Charles Sanders Peirce /
por: Bergman, Michael K.
Publicado: (2018)

Proof techniques in graph theory : proceedings of the second Ann Arbor Graph Theory Conference, February, 1968
por: Harary, Frank, et al.
Publicado: (1969)

The logics of preference: a study of prohairetic logics in twentieth century philosophy /
por: Moutafakis, Nicholas J. 1941-, et al.
Publicado: (1989)

Introduction to mathematical proofs : a transition /
por: Roberts, Charles E. 1942-, et al.
Publicado: (2010)

Optics and information theory /
por: Yu, Francis T. S. 1932-
Publicado: (1976)

Introduction to logic and switching theory /
por: Biswas, Nripendra Nath 1928-, et al.
Publicado: (1975)

Os processos de aquisiçao e de representaçao de raciocínios e conhecimentos /
por: Soares, Adriana Benavides, et al.
Publicado: (2002)

Conocimiento e información /
por: Dretske, Fred I., et al.
Publicado: (1987)

The logical structure of the world pseudoproblems in philosophy
por: Carnap, Rudolf 1891 - 1970, et al.
Publicado: (1967)

Descriptive set theory /
por: Moschovakis, Yiannis M., et al.
Publicado: (1980)

A journey through representation theory : from finite groups to quivers via algebras /
por: Gruson, Caroline
Publicado: (2018)

Introducción a la teoría de la representación conforme /
por: Bieberbach, Ludwing
Publicado: (1966)

A Texas style introduction to proof /
por: Taylor, Ron 1948-
Publicado: (2017)

Introduction to Switching Theory and Logical Design /
por: Hill, Frederick J.
Publicado: (1968)

Chance, love, and logic : philosophical essays /
por: Peirce, Charles S.
Publicado: (1956)

Theory of knowledge
por: Chisholm, Roderick M., et al.
Publicado: (1966)

The theory of knowledge /
por: Hamlyn, D. W. 1924-, et al.
Publicado: (1980)

Problems of the logic of scientific knowledge
por: Tavance, P. V., ed.
Publicado: (1970)

Formal and transcendental logic
por: Husserl, Edmund
Publicado: (1969)

Computers in number theory /
Publicado: (1971)

Escopo e abrangência da Ciência da Informaçao e a Pós-Graduaçao na área : anotaçoes para uma reflexao /
por: González de Gómez, Maria Nélida, et al.

Theories in logic /
por: Windelband, Wilhelm, 1848-1915
Publicado: (1961)

A simple proof of the Grothendieck theorem on the Dieudonné property of Co(T) /
por: Panchapagesan, Thiruvaiyaru V. 1938-, et al.
Publicado: (1999)

Information theory
por: Lubbe, Jan C.A. van der, et al.
Publicado: (1997)

Coding theory
por: Lint, Jacobus Hendricus van 1932-, et al.
Publicado: (1964)

Information theory /
por: Goldman, Stanford 1907-
Publicado: (1968)

Introduction to switching theory and logical design
por: Hill, Frederick J.
Publicado: (1981)

Epistemology and economics contribution to the legical analysis of economic theory
por: Gutiérrez Carranza, Claudio 1930-, et al.
Publicado: (1970)

Communication theory : epistemological foundations /
por: Anderson, James A., 1939-
Publicado: (1996)

Classical descriptive set theory /
por: Kechris, Alexander S. 1946-, et al.
Publicado: (1995)

Análisis de algunos campos esenciales de la ciencia de la información desde tres enfoques epistemológicos
por: Peña Vera, Tania, et al.

Aproximación al análisis de dominio (AD) desde la investigación en bibliotecología y ciencia de la información = Approach to domain-analysis from library and information science research /
por: Damus, María Arminda

La tecnología y la gestión del conocimiento /
por: Arias Ordoñez, José, et al.

Elements of information theory /
por: Cover, Thomas M. 1938-, et al.
Publicado: (1991)