‹ zurück Sie sind hier:  Startseite » Buchhändler » MARZIES.de Buch- und Medienhan… » Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers

Linksbuch Neu neu Rechtsbuch

Clarke, Edmund M. (Herausgeber); Voronkov, Andrei (Herausgeber)

Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers (Kartoniert / Broschiert / Paperback)


Reihe: Lecture Notes in Computer Science 6355

Springer-Verlag GmbH, Springer Berlin, Januar 2011


Edition - 516 S. - Sprache: Englisch - 238x156x32 mm Book

ISBN: 3642175104 EAN: 9783642175107

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2010, which took place in Dakar, Senegal, in April/May 2010. The 27 revised full papers and 9 revised short papers presented together with 1 invited talk were carefully revised and selected from 47 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and deal with logic programming, logic-based program manipulation, formal methods, and various kinds of AI logics. Subjects covered range from theoretical aspects to various applications such as automata, linear arithmetic, verification, knowledge representation, proof theory, quantified constraints, as well as modal and temporal logics.


Preis: 99,99 EUR
Versandkosten: 0,00 EUR
Gesamtpreis: 99,99 EUR
In den Warenkorb

Anbieter: MARZIES.de Buch- und Medienhan… (Impressum/Lieferzeit)
Katalog: HC/Informatik

Angebotene Zahlungsarten: Vorauskasse
Transparente Bestellabwicklung - Verkäufer nutzt Order-Control - klicken für mehr Information
Transparente Bestellabwicklung -
Verkäufer nutzt Order-Control

 

Produktdetails

Up-to-date-results


ISBN 3-642-17510-4

ISBN 978-3-642-17510-7

Buch empfehlen Buch empfehlen
Sparen Sie Versandkosten beim Kauf weiterer Artikel dieses Buchhändlers.

Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, von Borba, Paulo (Herausgeber); Cavalcanti, Ana (Herausgeber); Sampaio, Augusto (Herausgeber); Woodcook,
69,99 EUR
Cyber Threat Intelligence von Dehghantanha, Ali (Herausgeber); Conti, Mauro (Herausgeber); Dargahi, Tooska (Herausgeber)
101,64 EUR

129,99 EUR

Domain-Specific Conceptual Modeling Concepts, Methods and Tools von Karagiannis, Dimitris (Herausgeber); Mayr, Heinrich C. (Herausgeber); Mylopoulos, John (Herausgeber)
160,49 EUR

Risks and Security of Internet and Systems 12th International Conference, CRISIS 2017, Dinard, Franc von Cuppens, Nora (Herausgeber); Cuppens, Frédéric (Herausgeber); Lanet, Jean-Louis (Herausgeber); Legay
53,50 EUR

The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28 von Ebert, Christian (Herausgeber); Jäger, Gerhard (Herausgeber); Michaelis, Jens (Herausgeber)
80,24 EUR
Meine zuletzt angesehenen antiquarischen und neue Bücher
Meine letzten Buch Suchanfragen
    Noch keine Suchanfragen vorhanden.

© 2003 - 2018 by whSoft GmbH
Entdecken Sie außerdem: Antiquariatsportal · Achtung-Bücher.de · Booklink · Buchhai - Bücher Preisvergleich
Alle genannten Preise sind Bruttopreise und enthalten, soweit nicht anders vom Verkäufer angegeben, die gesetzliche Umsatzsteuer.