Sistema Bibliotecario de la Universidad de Quintana Roo

Su carrito está vacío

Logic for Programming, Artificial Intelligence, and Reasoning (Registro nro. 65478)

000 -CABECERA
campo de control de longitud fija 06237nam a22005775i 4500
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
campo de control DE-He213
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
campo de control 20191013150331.0
007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL
campo de control de longitud fija cr nn 008mamaa
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija 100301s2008 gw | s |||| 0|eng d
020 64 - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro 9783540894391
-- 978-3-540-89439-1
024 87 - IDENTIFICADOR DE OTROS ESTÁNDARES
Número estándar o código 10.1007/978-3-540-89439-1
Fuente del número o código doi
050 84 - CLASIFICACIÓN TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO
Número de clasificación Q334-342
050 84 - CLASIFICACIÓN TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO
Número de clasificación TJ210.2-211.495
072 87 - CÓDIGO DE CATEGORÍA DE MATERIA
Código de categoría de materia UYQ
Fuente bicssc
072 87 - CÓDIGO DE CATEGORÍA DE MATERIA
Código de categoría de materia TJFM1
Fuente bicssc
072 87 - CÓDIGO DE CATEGORÍA DE MATERIA
Código de categoría de materia COM004000
Fuente bisacsh
082 ## - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY
Número de clasificación 006.3
Número de edición 23
001 - NÚMERO DE CONTROL
campo de control 000065748
100 81 - ENTRADA PRINCIPAL--NOMBRE DE PERSONA
Nombre de persona Cervesato, Iliano.
Término indicativo de función/relación editor.
9 (RLIN) 146079
245 97 - MENCIÓN DE TÍTULO
Título Logic for Programming, Artificial Intelligence, and Reasoning
Medio [electronic resource] :
Resto del título 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings /
Mención de responsabilidad, etc. edited by Iliano Cervesato, Helmut Veith, Andrei Voronkov.
264 81 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT
Producción, publicación, distribución, fabricación y copyright Berlin, Heidelberg :
Nombre del de productor, editor, distribuidor, fabricante Springer Berlin Heidelberg,
Fecha de producción, publicación, distribución, fabricación o copyright 2008.
300 64 - DESCRIPCIÓN FÍSICA
Extensión XIV, 714 p.
Otras características físicas online resource.
336 64 - TIPO DE CONTENIDO
Término de tipo de contenido text
Código de tipo de contenido txt
Fuente rdacontent
337 64 - TIPO DE MEDIO
Nombre/término del tipo de medio computer
Código del tipo de medio c
Fuente rdamedia
338 64 - TIPO DE SOPORTE
Nombre/término del tipo de soporte online resource
Código del tipo de soporte cr
Fuente rdacarrier
347 64 - CARACTERÍSTICAS DEL ARCHIVO DIGITAL
Tipo de archivo text file
Formato de codificación PDF
Fuente rda
490 81 - MENCIÓN DE SERIE
Mención de serie Lecture Notes in Computer Science,
Número Internacional Normalizado para Publicaciones Seriadas 0302-9743 ;
Designación de volumen o secuencia 5330
505 80 - NOTA DE CONTENIDO CON FORMATO
Nota de contenido con formato Session 1. Constraint Solving -- Symmetry Breaking for Maximum Satisfiability -- Efficient Generation of Unsatisfiability Proofs and Cores in SAT -- Justification-Based Local Search with Adaptive Noise Strategies -- The Max-Atom Problem and Its Relevance -- Session 2. Knowledge Representation 1 -- Towards Practical Feasibility of Core Computation in Data Exchange -- Data-Oblivious Stream Productivity -- Reasoning about XML with Temporal Logics and Automata -- Distributed Consistency-Based Diagnosis -- Session 3. Proof-Theory 1 -- From One Session to Many: Dynamic Tags for Security Protocols -- A Conditional Logical Framework -- Nominal Renaming Sets -- Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic -- Invited Talk -- Model Checking My 27-Year Quest to Overcome the State Explosion Problem -- Session 4. Automata -- On the Relative Succinctness of Nondeterministic Bȭchi and co-Bȭchi Word Automata -- Recurrent Reachability Analysis in Regular Model Checking -- Alternation Elimination by Complementation (Extended Abstract) -- Discounted Properties of Probabilistic Pushdown Automata -- Session 5. Linear Arithmetic -- A Quantifier Elimination Algorithm for Linear Real Arithmetic -- (LIA) - Model Evolution with Linear Integer Arithmetic Constraints -- A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic -- Encoding Queues in Satisfiability Modulo Theories Based Bounded Model Checking -- Session 6. Verification -- On Bounded Reachability of Programs with Set Comprehensions -- Program Complexity in Hierarchical Module Checking -- Valigator: A Verification Tool with Bound and Invariant Generation -- Reveal: A Formal Verification Tool for Verilog Designs -- Invited Talks -- A Formal Language for Cryptographic Pseudocode -- Reasoning Using Knots -- Session 7. Knowledge Representation 2 -- Role Conjunctions in Expressive Description Logics -- Default Logics with Preference Order: Principles and Characterisations -- On Computing Constraint Abduction Answers -- Fast Counting with Bounded Treewidth -- Session 8. Proof-Theory 2 -- Cut Elimination for First Order Gȵdel Logic by Hyperclause Resolution -- Focusing Strategies in the Sequent Calculus of Synthetic Connectives -- An Algorithmic Interpretation of a Deep Inference System -- Weak ??-Normalization and Normalization by Evaluation for SystemF -- Session 9. Quantified Constraints -- Variable Dependencies of Quantified CSPs -- Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings -- Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates -- A Logic of Singly Indexed Arrays -- Session 10. Modal and Temporal Logics -- On the Computational Complexity of Spatial Logics with Connectedness Constraints -- Decidable and Undecidable Fragments of Halpern and Shohams Interval Temporal Logic: Towards a Complete Classification -- The Variable Hierarchy for the Lattice ?-Calculus -- A Formalised Lower Bound on UndirectedGraphReachability -- Session 11. Rewriting -- Improving Context-Sensitive Dependency Pairs -- Complexity, Graphs, and the Dependency Pair Method -- Uncurrying for Termination -- Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation -- A Higher-Order Iterative Path Ordering -- Variable Dependencies of Quantified CSPs.
520 64 - SUMARIO, ETC.
Sumario, etc. This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008. The 45 revised full papers presented together with 3 invited talks were carefully revised and selected from 153 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and their applications and are organized in topical sections on automata, linear arithmetic, verification knowledge representation, proof theory, quantified constraints, as well as modal and temporal logics.
516 64 - NOTA DE TIPO DE ARCHIVO DE ORDENADOR O DE DATOS
Nota de tipo de archivo de ordenador o de datos ZDB-2-SCS
516 64 - NOTA DE TIPO DE ARCHIVO DE ORDENADOR O DE DATOS
Nota de tipo de archivo de ordenador o de datos ZDB-2-LNC
650 80 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Computer science.
-- 146080
650 80 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Software engineering.
-- 9213
650 80 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Logic design.
-- 146081
650 80 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Artificial intelligence.
-- 8970
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Computer Science.
-- 146082
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Artificial Intelligence (incl. Robotics).
-- 8973
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Programming Techniques.
-- 10862
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Software Engineering.
-- 9213
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Logics and Meanings of Programs.
-- 13880
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Mathematical Logic and Formal Languages.
-- 10185
700 81 - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Veith, Helmut.
Término indicativo de función/relación editor.
-- 146083
700 81 - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Voronkov, Andrei.
Término indicativo de función/relación editor.
-- 146084
710 82 - PUNTO DE ACCESO ADICIONAL--NOMBRE DE ENTIDAD CORPORATIVA
Nombre de entidad corporativa o nombre de jurisdicción como elemento de entrada SpringerLink (Online service)
9 (RLIN) 146085
773 80 - ENLACE AL DOCUMENTO FUENTE/ENTRADA DE REGISTRO ANFITRIÓN
Título Springer eBooks
776 ## - ENTRADA/ENLACE A UN FORMATO FÍSICO ADICIONAL
Información de relación/Frase instructiva de referencia Printed edition:
Número Internacional Estándar del Libro 9783540894384
830 80 - PUNTO DE ACCESO ADICIONAL DE SERIE-TÍTULO UNIFORME
Título uniforme Lecture Notes in Computer Science,
Número Internacional Normalizado para Publicaciones Seriadas 0302-9743 ;
Designación de volumen o secuencia 5330
9 (RLIN) 146086
856 ## - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS
Identificador Uniforme del Recurso http://dx.doi.org/10.1007/978-3-540-89439-1
Nota pública de clik aquí para ver el libro electrónico
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA)
Tipo de ítem Koha Libro Electrónico

No hay ítems disponibles.