Cargando…

Handbook of automated reasoning /

Handbook of Automated Reasoning.

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Otros Autores:	Robinson, J. A. (John Alan), Voronkov, Andrei, 1959-
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Amsterdam ; New York : Cambridge, Mass. : Elsevier ; MIT Press, �2001.
Temas:	Automatic theorem proving. Qualitative reasoning. Artificial intelligence. Artificial Intelligence Th�eor�emes > D�emonstration automatique. Raisonnement qualitatif. Intelligence artificielle. artificial intelligence. Artificial intelligence Automatic theorem proving Qualitative reasoning
Acceso en línea:	Texto completo

Ejemplares similares

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

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

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

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

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

Qualitative reasoning about physical systems /
Publicado: (1984)

Readings in qualitative reasoning about physical systems /
Publicado: (1990)

Mathematics mechanization and applications /
Publicado: (2000)

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)

Handbook of automated reasoning.
Publicado: (2001)

Exploring artificial intelligence : survey talks from the National Conferences on Artificial Intelligence /
Publicado: (1988)

Artificial intelligence and data science in environmental sensing
Publicado: (2022)

Approximate reasoning in intelligent systems, decision and control /
Publicado: (1987)

Handbook of temporal reasoning in artificial intelligence /
Publicado: (2005)

A handbook of artificial intelligence in drug delivery /
Publicado: (2023)

Uncertainty in artificial intelligence 5 /
Publicado: (1990)

Precision medicine and artificial intelligence : the perfect fit for autoimmunity /
Publicado: (2021)

Artificial intelligence in medicine : technical basis and clinical applications /
Publicado: (2021)

Biosignal processing and classification using computational learning and intelligence : principles, algorithms, and applications /
Publicado: (2021)

Handbook of artificial intelligence techniques in photovoltaic systems modelling, control, optimization, forecasting and fault diagnosis /
por: Mellit, Adel
Publicado: (2022)

Commonsense reasoning /
por: Mueller, Erik T.
Publicado: (2006)

Artificial intelligence in precision health : from concept to applications /
Publicado: (2020)

Modern information processing : from theory to applications /
Publicado: (2006)

Applications of artificial intelligence in process systems engineering /
Publicado: (2021)

The era of artificial intelligence and machine learning, and data science in the pharmaceutical industry /
Publicado: (2021)

Parallel processing for artificial intelligence /
Publicado: (1994)

Rational machines and artificial intelligence /
por: Marwala, Tshilidzi, 1971-
Publicado: (2021)

Knowledge and inference /
por: Nagao, Makoto, 1936-2021
Publicado: (1990)

Efficient computation of argumentation semantics /
por: Liao, Beishui
Publicado: (2014)

Distributed artificial intelligence /
Publicado: (1987)

Intelligent systems for information processing : from representation to applications /
Publicado: (2003)

Essentials of artificial intelligence /
por: Ginsberg, Matthew L., 1955-
Publicado: (1993)

Artificial intelligence /
Publicado: (1987)

Living with robots : emerging issues on the psychological and social /
Publicado: (2020)

Mem-elements for neuromorphic circuits with artificial intelligence applications /
Publicado: (2021)

Representations of commonsense knowledge /
por: Davis, Ernest
Publicado: (1990)

Biomedical signal processing and artificial intelligence in healthcare /
Publicado: (2020)

Control and dynamic systems.
Publicado: (1985)

Reasoning about plans /
Publicado: (1991)

Artificial intelligence V : methodology, systems, applications : proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA'92) Sofia, Bulgaria, 21-24 September, 1992 /
Publicado: (1992)