Cargando…

A computational logic /

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autores principales:	Boyer, Robert S., Moore, J Strother, 1947- (Autor)
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	New York : Academic Press, �1979.
Colección:	ACM monograph series.
Temas:	Automatic theorem proving. Th�eor�emes > D�emonstration automatique. MATHEMATICS > General. Automatic theorem proving
Acceso en línea:	Texto completo

Ejemplares similares

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

A computational logic handbook /
por: Boyer, Robert S.
Publicado: (1988)

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

Handbook of automated reasoning /
Publicado: (2001)

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)

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

Mathematics mechanization and applications /
Publicado: (2000)

Automated theorem proving : after 25 years /
Publicado: (1984)

The little prover /
por: Friedman, Daniel P., et al.
Publicado: (2015)

Handbook of automated reasoning.
Publicado: (2001)

Proof technology and computation /
Publicado: (2006)

Proof technology and computation /
Publicado: (2006)

Recent progress in the Boolean domain /
Publicado: (2014)

First-Order Logic and Automated Theorem Proving /
por: Fitting, Melvin
Publicado: (1996)

Undecidable theories /
Publicado: (1953)

Word problems II : the Oxford book /
Publicado: (1980)

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

Reflective optics /
por: Korsch, Dietrich
Publicado: (1991)

Spectral synthesis /
por: Benedetto, John
Publicado: (1975)

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

Martingale limit theory and its application /
por: Hall, Peter, 1951-2016, et al.
Publicado: (1980)

Two-degree-of-freedom control systems : the Youla Parameterization approach /
por: Keviczky, L�aszl�o, et al.
Publicado: (2015)

Fixed points : algorithms and applications /
Publicado: (1977)

Intelligent production machines and systems : 2nd I*PROMS Virtual Conference, 3-14 July 2006 /
Publicado: (2006)

Nonlinear control systems design 1992 : selected papers from the IFAC symposium, Bordeaux, France, 24-26 June 1992 /
Publicado: (1993)

System structure and control : preprints of the IFAC workshop, Prague, Czechoslovakia, 3-5 September 1992 /
Publicado: (1992)

Automatic control in space 1985 : proceedings of the tenth IFAC Symposium, Toulouse, France, 24-28 June 1985 /
Publicado: (1986)

Automatic control in aerospace : Aerospace Control '94 : a postprint volume from the IFAC symposium, Palo Alto, California, USA, 12-16 September 1994 /
Publicado: (1995)

Control of distributed parameter systems, 1982 : proceedings of the Third IFAC symposium, Toulouse, France, 29 June-2 July 1982 /
Publicado: (1983)

Simulation of control systems : selected papers from the IFAC symposium, Vienna, Austria, 22-26 September 1986 /
Publicado: (1987)

Automatic control in aerospace, 1992 : selected papers from the 12th IFAC Symposium, Ottobrunn, Germany, 7-11 September 1992 /
Publicado: (1993)

Communications for control in cyber physical systems : theory, design and applications in smart grids /
por: Li, Husheng
Publicado: (2016)

Analysis and Synthesis of Polynomial Discrete-Time Systems.
por: Saat, Mohd Shakir Md
Publicado: (2017)

Software for computer control : proceedings of the second IFAC/IFIP Symposium on Software for Computer Control, Prague, Czechoslovakia, 11-15 June 1979 /
Publicado: (1979)

Safety of computer control systems 1992 (SAFECOMP '92) : computer systems in safety-critical applications : proceedings of the IFAC symposium, Z�urich, Switzerland, 28-30 October 1992 /
Publicado: (1992)

Automatic Control in space : proceedings of the 8th IFAC Symposium, Oxford, England, 2-6 July 1979 /
Publicado: (1980)

Fundamentals of automation and remote control
por: Ginzburg, Samuil Aleksandrovich
Publicado: (1966)

Nonlinear control systems design, 1995 : a postprint volume from the 3rd IFAC Symposium, Tahoe City, California, USA, 25-28 June 1995 /
Publicado: (1995)

Control of distributed parameter systems 1989 : selected papers from the 5th IFAC Symposium, Perpignan, France, 26-29 June 1989 /
Publicado: (1990)

Fuzzy controllers /
por: Reznik, Leonid, 1955-
Publicado: (1997)

Cannot write session to /tmp/vufind_sessions/sess_n33qmrg610j9nhja55p4amitkj