Automated deduction - CADE 26 /

QR Code

Automated deduction - CADE 26 /

Bibliographic Details
Corporate Author:	International conference on automated deduction. Proceedings Gotemburgo, Suecia)
Other Authors:	de Moura, Leonardo (Editor)
Format:	Conference Proceeding Book
Language:	English
Published:	Cham, Suiza : Springer, 2017.
Edition:	1 edición
Subjects:	Algoritmos Inteligencia artificial Lógica computacional Lógica simbólica y matemática Ingeniería de software Acta de congreso Libros electrónicos

Similar Items

Automated reasoning with analytic tableaux and related methods /
Published: (2017)

Lógica simbólica básica /
by: Camacho-Naranjo, Luis-Angel
Published: (2003)

Automated scheduling and planning : from theory to practice /
Published: (2013)

Application and theory of petri nets and concurrency : proceedings /
Published: (2017)

Artificial intelligence XXXIV : proceedings /
Published: (2017)

Applied logic for computer scientists : computational deduction and formal proofs /
by: Ayala-Rincón, Mauricio
Published: (2017)

Advances in fuzzy implication functions /
Published: (2013)

Fundamentos de matemáticas y lógica /
by: Gutiérrez-González, Eduardo
Published: (1998)

El razonamiento lógico en el lenguaje simbólico y en el lenguaje natural /
by: George, Kemel
Published: (2020)

Logical foundations of artificial intelligence /
by: Genesereth, Michael R.
Published: (1987)

Artificial general intelligence /
Published: (2017)

Automated workflow scheduling in self-adaptive clouds : concepts, algorithms and methods /
by: Kousalya, G.
Published: (2017)

Lógica para informáticos /
Published: (2012)

Advances in artificial intelligence : from theory to practice. Proceedings, part I /
Published: (2017)

Applications of supervised and unsupervised ensemble methods /
Published: (2009)

International conference on knowledge management in organizations : service and cloud computing /
Published: (2013)

Advances in multi-Objective Nature Inspired Computing /
Published: (2010)

Aggregation functions in theory and in practise : proceedings /
Published: (2013)

An introduction to fuzzy logic applications in intelligent systems /
Published: (1992)

Advances in agent-based complex automated negotiations /
Published: (2009)

Introducción a la lógica /
by: Beuchot, Mauricio
Published: (2011)

Program construction : calculating implementations from specifications. /
by: Backhouse, Roland
Published: (2003)

Adaptive and multilevel metaheuristics /
Published: (2008)

Agent-based evolutionary search /
Published: (2010)

Automated nanohandling by microrobots /
Published: (2008)

Integración simbólica de funciones de múltiples variables utilizando programación genética /
by: Garita-Rodríguez, César Orlando
Published: (2000)

Applications of soft Computing : updating the state of the art /
Published: (2009)

Autonomous systems - self-organization, management, and control /
Published: (2008)

Applied reconfigurable computing : proceedings /
Published: (2017)

Advances in differential evolution /
Published: (2008)

Advances in Cryptology - EUROCRYPT 2017 : proceedings, Part I /
Published: (2017)

Advances in neural networks - ISNN 2017 /
Published: (2017)

International conference on biomedical engineering 2008 BIOMED 2008 /
Published: (2008)

Aspects of computational intelligence : theory and applications /
Published: (2013)

AI*IA 2017 advances in artificial intelligence /
Published: (2017)

Los ordenadores emocionales /
by: Picard, Rosalind W.
Published: (1998)

Advanced concepts in fuzzy logic and systems with membership uncertainty /
by: Starczewski, Janusz T.
Published: (2013)

An introduction to Lambda Calculi for computer scientists. Volume 2 /
by: Hankin, Chris
Published: (2004)

Introducción a la programación con SCHEME /
by: Helo-Guzman, José Elias
Published: (2005)

2nd international workshop on practical applications of computational biology and bioinformatics (IWPACBB 2008) /
Published: (2009)