Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV : Special Issue on Consistency and Inconsistency in Data-Centric Applications /

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV : Special Issue on Consistency and Inconsistency in Data-Centric Applications /

Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Hameurlain, Abdelkader. (Editor ), Küng, Josef. (Editor ), Wagner, Roland. (Editor ), Decker, Hendrik. (Editor )
Formato: eBook
Lenguaje:English
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Colección:Transactions on Large-Scale Data- and Knowledge-Centered Systems, 10620
Materias:
Computer logic.
Mathematical logic.
Logic design.
Operating systems (Computers).
Microprocessors.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Logic Design.
Operating Systems.
Processor Architectures.
LEADER 02122nam a22004215i 4500
001 000292261
005 20211005132850.0
007 cr nn 008mamaa
008 171006s2017 gw | s |||| 0|eng d
020 |a 9783662559475 
024 7 |a 10.1007/978-3-662-55947-5  |2 doi 
040 |a Sistema de Bibliotecas del Tecnológico de Costa Rica 
245 1 0 |a Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV :  |b Special Issue on Consistency and Inconsistency in Data-Centric Applications /  |c edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner, Hendrik Decker. 
250 |a 1st ed. 2017. 
260 # # |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2017. 
300 |a IX, 185 p. 34 illus. :  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Transactions on Large-Scale Data- and Knowledge-Centered Systems,  |v 10620 
505 0 |a Basic Postulates for Inconsistency Measures -- Batch Composite Transactions in Stream Processing -- Enhancing User Rating Database Consistency through Pruning -- A Second Generation of Peer-to-Peer Semantic Wikis -- Formalizing a Paraconsistent Logic in the Isabelle Proof Assistant -- A Proximity-Based Understanding of Conditionals -- Inconsistency-Tolerant Database Repairs and Simplified Repair Checking by Measure-Based Integrity Checking. 
650 0 |a Computer logic. 
650 0 |a Mathematical logic. 
650 0 |a Logic design. 
650 0 |a Operating systems (Computers). 
650 0 |a Microprocessors. 
650 1 4 |a Logics and Meanings of Programs. 
650 2 4 |a Mathematical Logic and Formal Languages. 
650 2 4 |a Logic Design. 
650 2 4 |a Operating Systems. 
650 2 4 |a Processor Architectures. 
700 1 |a Hameurlain, Abdelkader.  |e editor. 
700 1 |a Küng, Josef.  |e editor. 
700 1 |a Wagner, Roland.  |e editor. 
700 1 |a Decker, Hendrik.  |e editor. 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
900 |a Libro descargado a ALEPH en bloque (proveniente de proveedor) 

Ejemplares similares