A proof theory for description logics /

QR Code

A proof theory for description logics /

Bibliographic Details
Main Author:	Rademaker, Alexandre (Autor/a)
Format:	Book
Language:	English
Published:	London : Springer, c2012.
Series:	SpringerBriefs in computer science / series Editors Stan Zdonik [y otros nueve]
Subjects:	REPRESENTACION DEL CONOCIMIENTO (TEORIA DE LA INFORMACION) TEORIA DE LA PRUEBA > PROCESAMIENTO DE DATOS
Online Access:	Ver documento en línea

Similar Items

A logical introduction to proof /
by: Cunningham, Daniel Wendell
Published: (2012)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Descriptive set theory /
by: Moschovakis, Yiannis M., et al.
Published: (1980)

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

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

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

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

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

Theory of knowledge
by: Chisholm, Roderick M., et al.
Published: (1966)

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

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

Formal and transcendental logic
by: Husserl, Edmund
Published: (1969)

Computers in number theory /
Published: (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 /
by: González de Gómez, Maria Nélida, et al.

Theories in logic /
by: Windelband, Wilhelm, 1848-1915
Published: (1961)

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

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

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

Information theory /
by: Goldman, Stanford 1907-
Published: (1968)

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

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

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

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

Análisis de algunos campos esenciales de la ciencia de la información desde tres enfoques epistemológicos
by: 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 /
by: Damus, María Arminda

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

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