Imagen de Portada

Handbook of satisfiability /

Guardado en:

Otros Autores:	Biere, Armin.
Formato:	Libro
Idioma:	English
Publicado:	Amsterdam, The Netherlands ; Washington, DC : IOS Press, c2009.
Series:	Frontiers in artificial intelligence and applications, v. 185
Materias:	Propositional calculus > Congresses. Decision making > Congresses. Computer algorithms > Congresses. Algebra, Boolean > Congresses. Algorithmus. Anwendung. Berechnungskomplexität. Erfüllbarkeitsproblem.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Scalable uncertainty management : third international conference, SUM 2009, Washington, DC, September 28-30, 2009 : proceedings /
Publicado: (2009)

Business process technology : a unified view on business processes, workflows and enterprise applications /
por: Draheim, Dirk, 1969-
Publicado: (2010)

Shapes and diffeomorphisms /
por: Younes, Laurent, 1963-
Publicado: (2010)

Symmetry, representations, and invariants /
por: Goodman, Roe.
Publicado: (2009)

Parsing techniques : a practical guide /
por: Grune, Dick, 1939-
Publicado: (2010)

Mathematicians : an outer view of the inner world /
por: Cook, Mariana Ruth.
Publicado: (2009)

Calculus of variations and its applications : [Proceedings of the Eighth Symposium in Applied Mathematics of the American Mathematical Society /
Publicado: (1958)

Generalized functions and operational calculus : proceedings of the Conference on Generalized Functions and Operational Calculi, Varna, September 29-October 6, 1975 /
Publicado: (1979)

Algorithms and order /
Publicado: (1989)

Libertad y justicia en las sociedades modernas /
Publicado: (1994)

Matrices de Morgan caractéristiques pour le calcul propositionnel classique ; Algèbres monadiques /
por: Monteiro, Antonio A. R. 1907-1980.
Publicado: (1974)

Literalidad y dinamicidad en el discurso económico : VI Actividades de IULATERM de Verano (9-12 de julio de 2007) /
Publicado: (2008)

III Jornadas Internacionales de Investigación en Educación y Salud : experiencias de investigación con grupos vulnerables : libro de actas /
Publicado: (2017)

Población y territorio en la encrucijada de las ciencias sociales : actas XV Congreso de la Población Española /
Publicado: (2016)

Conferencia Mundial contra el Racismo, la Discriminación Racial, la Xenofobia y las Formas Conexas de Intolerancia : declaración y programa de acción /
Publicado: (2002)

Fractals in biology and medicine /
Publicado: (1994)

Hydrodynamic instability : [Proceedings of the Thirteenth Symposium in Applied Mathematics of the American Mathematical Society /
Publicado: (1962)

Lambda calculi : a guide for the perplexed /
por: Hankin, Chris.
Publicado: (1994)

Lambda calculus with types /
por: Barendregt, H. P.
Publicado: (2013)

Manejo de problemas y toma de decisiones /
por: Rodríguez Estrada, Mauro.
Publicado: (1988)

Feminismo, género e instituciones cuerpos que importan, discursos que (de)construyen /
Publicado: (2007)

Memoria, identidades inestables y erotismo textos sobre género y feminismos /
Publicado: (2008)

Synergia primer encuentro de jóvenes investigadores en historia de la ciencia /
Publicado: (2007)

Curves and surfaces in computer vision and graphics II : 12-14 November 1991, Boston, Massachusetts /
Publicado: (1992)

Algebraic structures and their representations : XV Coloquio Latinoamericano de Algebra, Cocoyoc, Morelos, México, July 20-26, 2003 /
Publicado: (2005)

Linear spaces and approximation : proceedings of the conference held at the Oberwolfach Mathematical Research Institute, Black Forest, August 20-27, 1977 /
Publicado: (1978)

Iconofagias, distopías y farsas : ficción y política en América Latina /
Publicado: (2015)

La colonialidad del saber eurocentrismo y ciencias sociales : perspectivas latinoamericanas /
Publicado: (1993)

Advances in multiresolution for geometric modelling /
Publicado: (2005)

Algoritmo óptimo para planificación de búsqueda en disco
por: Castillo, Enrique F., et al.
Publicado: (2005)

Prueba formal de validez
Publicado: (2004)

Lógica proposicional
Publicado: (2004)

Proceedings of the XIII EURALEX International Congress : Barcelona, 15-19 July 2008 /
Publicado: (2010)

Arqueología de la construcción V : man-made materials, engineering and infrastructure : proceedings of the 5th International Workshop on the Archaeology of Roman Construction, Oxford, April 11-12, 2015 /
Publicado: (2016)

Barbarie y civilización : XVI encuentro de la Ilustración al Romanticismo Cádiz, América y Europa ante la modernidad, 1750-1850 : celebrado del 16 al 18 de octubre de 2013, en Cádiz /
Publicado: (2015)

Encuentros en neurociencias : enfermedades neurodegenerativas, psiquiátricas y dolor : aspectos genéticos y clínicos moleculares /
Publicado: (2015)

Recibir el Concilio 50 años después : XXIII Semana de Estudios de Teología Pastoral /
Publicado: (2012)

Archaeometallurgy in Europe IV /
Publicado: (2017)

Nuevos retos para las empresas de turismo activo /
Publicado: (2013)

Diálogos culturales : imaginarios nacionales : viajes, territorios e identidades /
Publicado: (2016)