Cargando…

A computational logic handbook /

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	Boyer, Robert S.
Otros Autores:	Moore, J Strother, 1947-
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Boston : Academic Press, �1988.
Colección:	Perspectives in computing (Boston, Mass.) ; vol. 23.
Temas:	Automatic theorem proving. Logic, Symbolic and mathematical. Th�eor�emes > D�emonstration automatique. Logique symbolique et math�ematique. Logica. Automatische bewijsvoering.
Acceso en línea:	Texto completo

Ejemplares similares

Symbolic logic and mechanical theorem proving
por: Chang, Chin-Liang, 1937-, et al.
Publicado: (1973)

A computational logic /
por: Boyer, Robert S., et al.
Publicado: (1979)

Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92 /
Publicado: (1993)

Automated theorem proving : a logical basis /
por: Loveland, Donald W.
Publicado: (1978)

Handbook of automated reasoning /
Publicado: (2001)

A many-sorted calculus based on resolution and paramodulation /
por: Walther, Christoph
Publicado: (1987)

Mathematics mechanization and applications /
Publicado: (2000)

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt G�odel /
Publicado: (1952)

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

Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 /
Publicado: (1989)

Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 /
Publicado: (1983)

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

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

Undecidable theories /
Publicado: (1953)

Formal systems and recursive functions /
Publicado: (1965)

Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 /
Publicado: (1989)

Handbook of the logic of argument and inference : the turn towards the practical /
Publicado: (2002)

Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 /
Publicado: (1988)

Proceedings of the Herbrand symposium : Logic Colloquium '81 ... held in Marseilles, France, July 1981 /
Publicado: (1982)

Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966 /
Publicado: (1968)

Intuitionism and proof theory : Proceedings of the summer conference ; Aug 1968 /
Publicado: (1970)

Realizability : an introduction to its categorical side /
por: Oosten, Jaap van
Publicado: (2008)

Mathematical interpretation of formal systems
Publicado: (1955)

A survey of mathematical logic /
Publicado: (1963)

Elements of mathematical logic (Model theory)
por: Kreisel, Georg, et al.
Publicado: (1967)

Intuitionism : an introduction /
Publicado: (1956)

Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 /
Publicado: (1982)

The theory of models proceedings.
Publicado: (1965)

Logic Colloquium '77 : proceedings of the colloquium held in Wroc�aw, August 1977 /
Publicado: (1978)

Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 /
Publicado: (1980)

Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 /
Publicado: (1977)

Logic colloquium '78 : proceedings of the colloquium held in Mons, August 1978 /
Publicado: (1979)

Constructive order types
por: Crossley, John N.
Publicado: (1969)

Seismic applications of acoustic reciprocity /
por: Fokkema, J. T.
Publicado: (1993)

Logic colloquium '73 : proceedings /
Publicado: (1975)

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

From Peirce to Skolem : a neglected chapter in the history of logic /
por: Brady, Geraldine
Publicado: (2000)

Non-standard analysis.
por: Robinson, Abraham, 1918-1974
Publicado: (1966)

The collected papers of Gerhard Gentzen /
Publicado: (1969)

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

Cannot write session to /tmp/vufind_sessions/sess_2vm85tsiaoishicvmsjehmrocq