Dependence Logic Theory and Applications /
In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also applications in a number of areas, such as statistics, social choice theory, databases, and computer security. The contributin...
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | SpringerLink (Online service) |
Otros Autores: | Abramsky, Samson (Editor ), Kontinen, Juha (Editor ), Väänänen, Jouko (Editor ), Vollmer, Heribert (Editor ) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Cham :
Springer International Publishing : Imprint: Birkhäuser,
2016.
|
Edición: | 1st ed. 2016. |
Temas: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems /
por: Carnielli, Walter, et al.
Publicado: (2008) -
A Course on Mathematical Logic
por: Srivastava, Shashi Mohan
Publicado: (2013) -
Logic: a Brief Course
por: Mundici, Daniele
Publicado: (2012) -
Institution-independent Model Theory
por: Diaconescu, Razvan
Publicado: (2008) -
Logic, Mathematics, and Computer Science Modern Foundations with Practical Applications /
por: Nievergelt, Yves
Publicado: (2015)