Logic for Programming, Artificial Intelligence and Reasoning (Record no. 47235)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03064nam a2200193Ia 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 140223b2007 xxu||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783540755586 |
| Terms of availability | 0.00 |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 006.3 |
| Item number | LOG |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Dershowitz, Nachum |
| 245 ## - TITLE STATEMENT | |
| Title | Logic for Programming, Artificial Intelligence and Reasoning |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc. | Heidelberg |
| Name of publisher, distributor, etc. | Springer-Verlag |
| Date of publication, distribution, etc. | 2007 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 562p |
| 440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE | |
| Title | Lecture Notes in Artificial Intelligence |
| 500 ## - GENERAL NOTE | |
| General note | 14th International Conference, LPAR 2007 Yerevan, America, October 15-19 2007 LNAI 4790 From Hilbert's Program to a Logic Toolbox (Invited Talk) On the Notion of Vacuous Truth (Invited Talk) Whatever Happened to Deductive Question Answering? (Invited Talk) Decidable Fragments of Many-Sorted Logic One-Pass Tableaux for Computation Tree Logic Extending a Resolution Prover for Inequalities on Elementary Functions Model Checking the First-Order Fragment of Higher-Order Fix point Logic Monadic Fragments of Godel Logics: Decidability and Undecidability Results Least and Greatest Fixed Points in Linear Logic The Semantics of Consistency and Trust in Peer Data Exchange Systems Completeness and Decidability in Sequence Logic HORPO with Computability Closure: A Reconstruction Zenon: An Extensible Automated Theorem Prover Producing Checkable Pmnf Matching in Hybrid Terminologies Verifying Cryptographic Protocols with Subterms Constraints Deciding Knowledge in Security Protocols for Monoidal Equational Theories Mechanized Verification of CPS Transformations Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap Protocol Verification Via Rigid/Flexible Resolution Preferential Description Logics On Two Extensions of Abstract Categorial Grammars Why Would You Trust El How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards Data Complexity in the £C Family of Description Logics An Extension of the Knuth-Bendix Ordering with LPO-Likc Properties Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic Integrating Inductive Definitions in SAT The Separation Theorem for Differential Interaction Nets Complexity of Planning in Action Formalisms Based on Description Logics Faster Phylogenetic Inference with MXG Enriched /i-Calculus Pushdown Module Checking Approved Models for Normal Logic Programs Permutative Additives and Exponentials Algorithms for Propositional Model Counting Completeness for Flat Modal Fix point Logics (Extended Abstract) Monotonic Disjunctive Logic Programs with Function Symbols The Complexity of Temporal Logic with Until and Since over Ordinals ATP Cross-Verification of the Mizar MPTP Challenge Problems Author Index |
| 600 ## - SUBJECT ADDED ENTRY--PERSONAL NAME | |
| Personal name | Computer Engineering |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Voronkov, Andrei |
| 890 ## - | |
| -- | UK |
| 995 ## - RECOMMENDATION 995 [LOCAL, UNIMARC FRANCE] | |
| -- | LOG |
| -- | 008981 |
| -- | CEE-PG0 |
| -- | 3402.72 |
| -- | 0 |
| -- | 049 |
| -- | 5047 |
| -- | 0 |
| -- | 0.00 |
| -- | 4726.00 28% |
| -- | 20100105 |
| -- | 17 |
| -- | C |
| -- | 20100211 |
| -- | Mahajan Book Depot |
| -- | Reference |
No items available.