2007, ISBN: 9783540755586
Springer, Taschenbuch, Auflage: 2007, 580 Seiten, Publiziert: 2007-12-12T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 1.78 kg, Informatik, IT-Ausbildung & -Berufe, Computer … Plus…
amazon.de ausverkauf Frais d'envoiAuf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings - Livres de poche
2007, ISBN: 3540755586
[EAN: 9783540755586], Gebraucht, guter Zustand, [SC: 0.0], [PU: Springer Berlin], AUTOMATED REASONING,LOGIC,INTELLIGENCE,AUTOMAT,PROGRAMMING,FORMAL METHOD,ARTIFICIAL INTELLIGENCE,, Neubin… Plus…
ZVAB.com Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)] NOT NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) Details... |
Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings - livre d'occasion
2007, ISBN: 9783540755586
[PU: Springer Berlin], Neubindung 3981517/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2007, Banküberweisung, PayPal, Klarna-Sofortüberweisung, Internationaler Versand
booklooker.de |
Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, Lpar 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings - Livres de poche
2007, ISBN: 9783540755586
Springer-Verlag New York Inc, 2007. Paperback. New. 1st edition. 562 pages. 9.50x6.50x0.75 inches., Springer-Verlag New York Inc, 2007, 6
Biblio.co.uk |
ISBN: 9783540755586
Livre, [PU: Springer, Berlin/Heidelberg]
Rakuten.fr |
Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, ... Notes in Computer Science, 4790, Band 4790) - Livres de poche
2007, ISBN: 9783540755586
Springer, Taschenbuch, Auflage: 2007, 580 Seiten, Publiziert: 2007-12-12T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 1.78 kg, Informatik, IT-Ausbildung & -Berufe, Computer … Plus…
Dershowitz, Nachum und Andrei Voronkov:
Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings - Livres de poche2007, ISBN: 3540755586
[EAN: 9783540755586], Gebraucht, guter Zustand, [SC: 0.0], [PU: Springer Berlin], AUTOMATED REASONING,LOGIC,INTELLIGENCE,AUTOMAT,PROGRAMMING,FORMAL METHOD,ARTIFICIAL INTELLIGENCE,, Neubin… Plus…
Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings - livre d'occasion
2007
ISBN: 9783540755586
[PU: Springer Berlin], Neubindung 3981517/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2007, Banküberweisung, PayPal, Klarna-Sofortüberweisung, Internationaler Versand
Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, Lpar 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings - Livres de poche
2007, ISBN: 9783540755586
Springer-Verlag New York Inc, 2007. Paperback. New. 1st edition. 562 pages. 9.50x6.50x0.75 inches., Springer-Verlag New York Inc, 2007, 6
ISBN: 9783540755586
Livre, [PU: Springer, Berlin/Heidelberg]
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
Informations détaillées sur le livre - Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, ... Notes in Computer Science, 4790, Band 4790)
EAN (ISBN-13): 9783540755586
ISBN (ISBN-10): 3540755586
Version reliée
Livre de poche
Date de parution: 2007
Editeur: Dershowitz, Nachum, Springer
562 Pages
Poids: 0,864 kg
Langue: eng/Englisch
Livre dans la base de données depuis 2007-08-10T09:41:33+02:00 (Paris)
Page de détail modifiée en dernier sur 2024-02-10T16:20:28+01:00 (Paris)
ISBN/EAN: 9783540755586
ISBN - Autres types d'écriture:
3-540-75558-6, 978-3-540-75558-6
Autres types d'écriture et termes associés:
Auteur du livre: dershowitz, voronkov, ders
Titre du livre: armenia, yerevan, logic programming artificial intelligence reasoning, reason, international conference computer science, logics for artificial intelligence, oni, art programming, proceedings artificial intelligence conference, 14th international conference, lecture notes artificial intelligence
Données de l'éditeur
Auteur: Nachum Dershowitz; Andrei Voronkov
Titre: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Logic for Programming, Artificial Intelligence, and Reasoning - 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings
Editeur: Springer; Springer Berlin
564 Pages
Date de parution: 2007-10-08
Berlin; Heidelberg; DE
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XIII, 564 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; Automat; artificial intelligence; automated reasoning; formal method; intelligence; logic; programming; Software Engineering; Artificial Intelligence; Programming Techniques; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Künstliche Intelligenz; Computerprogrammierung und Softwareentwicklung; Theoretische Informatik; EA
From Hilbert’s Program to a Logic Toolbox.- On the Notion of Vacuous Truth.- Whatever Happened to Deductive Question Answering?.- 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 Fixpoint Logic.- Monadic Fragments of Gödel 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 Proofs.- 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 B?.- 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 Family of Description Logics.- An Extension of the Knuth-Bendix Ordering with LPO-Like 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 Inferencewith MXG.- Enriched ?–Calculus Pushdown Module Checking.- Approved Models for Normal Logic Programs.- Permutative Additives and Exponentials.- Algorithms for Propositional Model Counting.- Completeness for Flat Modal Fixpoint Logics.- : Decidable Non-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.Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
9781442603332 White Lies About the Inuit (Roberta Garner)
- 9781442603332 White Lies About the Inuit (Roberta Garner)
- 9781442606715 White Lies About the Inuit John Steckley Author (John Steckley)
- 2901551118757 White Lies About the Inuit (Teaching Culture: Utp Ethnographies for the Classroom) (Steckley, John)
- 9781551118758 White Lies About the Inuit by John Steckley Paperback | Indigo Chapters (John Steckley)
< pour archiver...