- 5 resultaten
laagste prijs: € 70,91, hoogste prijs: € 156,87, gemiddelde prijs: € 103,52
1
Logic for Programming, Artificial Intelligence, and Reasoning - Fermüller, Christian G.|Voronkov, Andrei
bestellen
bij AbeBooks.de
€ 97,43
verzending: € 0,001
bestellenGesponsorde link
Fermüller, Christian G.|Voronkov, Andrei:

Logic for Programming, Artificial Intelligence, and Reasoning - pocketboek

2010, ISBN: 364216241X

[EAN: 9783642162411], Neubuch, [PU: Springer Berlin Heidelberg], EDV THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING INTELLIGENZ KüNSTLICHE KI - AI PROGRAMMIERSPRACHEN ROBOTER ROBOTIK INDUST… Meer...

NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 4 (von 5)]
2
bestellen
bij buchfreund.de
€ 70,91
verzending: € 0,001
bestellenGesponsorde link

Fermüller, Christian G. und Andrei Voronkov:

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings 2010 - gebruikt boek

2010, ISBN: 9783642162411

2010 Neubindung, Buchrücken leicht geknickt und eingerissen 9260549/12 Versandkostenfreie Lieferung knowledge base,artificial intelligence,automated reasoning,model checking,proving,compu… Meer...

Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Buchpark GmbH, 14959 Trebbin
3
Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings - Fermüller, Christian G. und Andrei Voronkov
bestellen
bij booklooker.de
€ 80,05
verzending: € 0,001
bestellenGesponsorde link
Fermüller, Christian G. und Andrei Voronkov:
Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings - gebruikt boek

2010

ISBN: 9783642162411

[PU: Springer Berlin], Neubindung, Buchrücken leicht geknickt und eingerissen 9260549/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, PayPal, Klarna-Sofortüberweisung… Meer...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
4
bestellen
bij lehmanns.de
€ 112,34
verzending: € 0,001
bestellenGesponsorde link
Christian G. Fermüller; Andrei Voronkov:
Logic for Programming, Artificial Intelligence, and Reasoning - pocketboek

2010, ISBN: 9783642162411

17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2010

Verzendingskosten:Titel z.Zt. nicht lieferbar. (EUR 0.00)
5
Logic for Programming, Artificial Intelligence, and Reasoning Theoretical Computer Science and General Issues - Christian G. Fermüller (editor), Andrei Voronkov (editor)
bestellen
bij Blackwells.co.uk
£ 138,69
(ongeveer € 156,87)
verzending: € 7,351
bestellenGesponsorde link
Christian G. Fermüller (editor), Andrei Voronkov (editor):
Logic for Programming, Artificial Intelligence, and Reasoning Theoretical Computer Science and General Issues - pocketboek

ISBN: 9783642162411

paperback, [PU: Springer, Berlin/Heidelberg/New York, NY]

in stock. Verzendingskosten:Usually dispatched within 7 days. (EUR 7.35) Blackwells.co.uk

1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
Logic for Programming, Artificial Intelligence, and Reasoning

This book constitutes the refereed proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17, held in Yogyakarta, Indonesia, in October 2010. The 41 revised full papers presented were carefully reviewed and selected from 133 submissions.

Gedetalleerde informatie over het boek. - Logic for Programming, Artificial Intelligence, and Reasoning


EAN (ISBN-13): 9783642162411
ISBN (ISBN-10): 364216241X
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer Berlin
656 Bladzijden
Gewicht: 0,938 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2007-05-22T00:08:53+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-04-29T08:50:31+02:00 (Amsterdam)
ISBN/EAN: 364216241X

ISBN - alternatieve schrijfwijzen:
3-642-16241-X, 978-3-642-16241-1
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: voronkov, christian schulz, schulz stephan, halpern, arti, matthias schulz, michael stephan, schulz joseph
Titel van het boek: oni, art programming, reasoning science, reason art, proceedings artificial intelligence conference, yogyakarta, logic computer science, october, artificial general intelligence, logic pro


Gegevens van de uitgever

Auteur: Christian G. Fermüller; Andrei Voronkov
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings
Uitgeverij: Springer; Springer Berlin
656 Bladzijden
Verschijningsjaar: 2010-09-27
Berlin; Heidelberg; DE
Taal: Engels
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
XII, 656 p. 83 illus.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Informatik; Extension; artificial intelligence; automated reasoning; computational complexity; concurrency; constraint programming; description logic; description logics; distributed systems; knowledge; knowledge base; knowledge representation; model checking; modeling; proving; Artificial Intelligence; Software Engineering; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Programming Techniques; Compilers and Interpreters; Software Engineering; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; Compiler und Übersetzer; EA

The Complexity of Partial-Observation Parity Games.- Awareness in Games, Awareness in Logic.- Human and Unhuman Commonsense Reasoning.- Gödel Logics – A Survey.- Tableau Calculus for the Logic of Comparative Similarity over Arbitrary Distance Spaces.- Extended Computation Tree Logic.- Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics.- SAT Encoding of Unification in .- Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers.- Generating Counterexamples for Structural Inductions by Exploiting Nonstandard Models.- Characterising Space Complexity Classes via Knuth-Bendix Orders.- Focused Natural Deduction.- How to Universally Close the Existential Rule.- On the Complexity of the Bernays-Schönfinkel Class with Datalog.- Magically Constraining the Inverse Method Using Dynamic Polarity Assignment.- Lazy Abstraction for Size-Change Termination.- A Syntactical Approach to Qualitative Constraint Networks Merging.- On the Satisfiability of Two-Variable Logic over Data Words.- Generic Methods for Formalising Sequent Calculi Applied to Provability Logic.- Characterising Probabilistic Processes Logically.- fCube: An Efficient Prover for Intuitionistic Propositional Logic.- Superposition-Based Analysis of First-Order Probabilistic Timed Automata.- A Nonmonotonic Extension of KLM Preferential Logic P.- On Strong Normalization of the Calculus of Constructions with Type-Based Termination.- Aligators for Arrays (Tool Paper).- Clause Elimination Procedures for CNF Formulas.- Partitioning SAT Instances for Distributed Solving.- Infinite Families of Finite String Rewriting Systems and Their Confluence.- Polite Theories Revisited.- Clausal Graph Tableaux for Hybrid Logic withEventualities and Difference.- The Consistency of the CADIAG-2 Knowledge Base: A Probabilistic Approach.- On the Complexity of Model Expansion.- Labelled Unit Superposition Calculi for Instantiation-Based Reasoning.- Boosting Local Search Thanks to cdcl.- Interpolating Quantifier-Free Presburger Arithmetic.- Variable Compression in ProbLog.- Improving Resource-Unaware SAT Solvers.- Expansion Nets: Proof-Nets for Propositional Classical Logic.- Revisiting Matrix Interpretations for Polynomial Derivational Complexity of Term Rewriting.- An Isabelle-Like Procedural Mode for HOL Light.- Bottom-Up Tree Automata with Term Constraints.- Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories.- PBINT, A Logic for Modelling Search Problems Involving Arithmetic.- Resolution for Stochastic Boolean Satisfiability.- Symbolic Automata Constraint Solving.

< naar Archief...