Automated deduction - CADE 26 /

Código QR

Automated deduction - CADE 26 /

Detalles Bibliográficos
Autor Corporativo:	International conference on automated deduction. Proceedings Gotemburgo, Suecia)
Otros Autores:	de Moura, Leonardo (Editor )
Formato:	Procedimiento de la Conferencia Libro
Lenguaje:	English
Publicado:	Cham, Suiza : Springer, 2017.
Edición:	1 edición
Materias:	Algoritmos Inteligencia artificial Lógica computacional Lógica simbólica y matemática Ingeniería de software Acta de congreso Libros electrónicos

Ejemplares similares

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

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

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

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

Artificial intelligence XXXIV : proceedings /
Publicado: (2017)

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

Advances in fuzzy implication functions /
Publicado: (2013)

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

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

Logical foundations of artificial intelligence /
por: Genesereth, Michael R.
Publicado: (1987)

Artificial general intelligence /
Publicado: (2017)

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

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

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

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

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

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

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

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

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

Introducción a la lógica /
por: Beuchot, Mauricio
Publicado: (2011)

Program construction : calculating implementations from specifications. /
por: Backhouse, Roland
Publicado: (2003)

Adaptive and multilevel metaheuristics /
Publicado: (2008)

Agent-based evolutionary search /
Publicado: (2010)

Automated nanohandling by microrobots /
Publicado: (2008)

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

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

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

Applied reconfigurable computing : proceedings /
Publicado: (2017)

Advances in differential evolution /
Publicado: (2008)

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

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

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

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

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

Los ordenadores emocionales /
por: Picard, Rosalind W.
Publicado: (1998)

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

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

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

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