Cargando…

Computational logic /

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Kidlington : Elsevier, 2014.
Colección:	Handbook of the history of logic ; 9
Temas:	Computer logic. Logique informatique. COMPUTERS > General. Computer logic
Acceso en línea:	Texto completo Texto completo

Ejemplares similares

Logic of Analog and Digital Machines /
por: Rocchi, Paolo
Publicado: (2013)

Principles of logic and logic programming /
por: Metakides, George, 1945-
Publicado: (1996)

Computability, complexity, logic /
por: B�orger, E. (Egon), 1946-
Publicado: (1989)

Logic design a review of theory and practice
por: Langdon, Glen G.
Publicado: (1974)

Aspects of inductive logic /
Publicado: (1966)

Computer science and multiple-valued logic : theory and applications /
Publicado: (1977)

Fuzzy logic : a practical approach /
por: McNeill, F. Martin, 1937-
Publicado: (1994)

Foundations of deductive databases and logic programming /
Publicado: (1988)

The propositional logic of Boethius /
por: D�urr, Karl, 1888-
Publicado: (1951)

Fuzzy logic and the semantic web /
Publicado: (2006)

Handbook of the history of logic /
Publicado: (2004)

Matrix logic /
por: Stern, August, 1945-
Publicado: (1988)

The rise of modern logic : from Leibniz to Frege /
Publicado: (2004)

Greek, Indian, and Arabic logic /
Publicado: (2004)

Combinatory logic /
Publicado: (1958)

Programmable logic controllers /
por: Bolton, W. (William), 1933-
Publicado: (2006)

Programmable logic controllers /
por: Bolton, W. (William), 1933-
Publicado: (2009)

Programmable logic controllers /
por: Bolton, W. (William), 1933-
Publicado: (2009)

Intensional and higher-order modal logic : with applications to Montague semantics /
por: Gallin, Daniel
Publicado: (1975)

Philosophy of logic /
Publicado: (2007)

Formal Logical Methods for System Security and Correctness.
por: Grumberg, O.
Publicado: (2008)

Combinatory logic.
Publicado: (1972)

Fork Algebras in Algebra, Logic and Computer Science.
por: Frias, Marcelo Fabián
Publicado: (2002)

Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984 /
Publicado: (1986)

Many-values logics /
Publicado: (1951)

Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic /
Publicado: (1982)

An essay in modal logic /
Publicado: (1951)

The problem of inductive logic : Proceedings of the International colloquium in the philosophy of science, London, 1965.
Publicado: (1968)

Soft Computing and Its Applications.
por: Ray, Kumar S.
Publicado: (2015)

Handbook of the history of logic.
Publicado: (2012)

Topics in engineering logic.
por: Nadler, Morton
Publicado: (1962)

Fuzzy logic for embedded systems applications /
por: Ibrahim, Ahmad M., 1951-
Publicado: (2004)

Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985 /
Publicado: (1987)

Logic for computer science and artificial intelligence /
por: Caferra, Ricardo, 1945-
Publicado: (2011)

Logic and algebraic structures in quantum computing /
Publicado: (2016)

Logic designer's handbook : circuits and systems /
por: Parr, E. A. (E. Andrew)
Publicado: (1993)

Inductive logic /
Publicado: (2010)

Digital design and computer architecture /
por: Harris, Sarah L., et al.
Publicado: (2016)

An algebraic approach to non-classical logics /
por: Rasiowa, Helena
Publicado: (1974)

Formal logical methods for system security and correctness /
Publicado: (2008)