‹ 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.

Datenanalyse von Kopf bis Fuß von Milton, Michael
39,90 EUR

Computer Vision and Computer Graphics - Theory and Applications International Conference, VISIGRAPP von Ranchordas, Alpesh Kumar (Herausgeber); Araújo, Hélder J. (Herausgeber); Pereira, Joao Madeiras (Her
79,99 EUR

Systems, Software and Services Process Improvement 17th European Conference, EuroSPI 2010, Grenoble, von Riel, Andreas (Herausgeber); O'Connor, Rory (Herausgeber); Tichkiewitch, Serge (Herausgeber); Messna
106,99 EUR
Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SE von Larsen, Kim G. (Herausgeber); Sokolsky, Oleg (Herausgeber); Wang, Ji (Herausgeber)
62,06 EUR

Algorithms, Probability, Networks, and Games Scientific Papers and Essays Dedicated to Paul G. Spira von Zaroliagis, Christos (Herausgeber); Pantziou, Grammati (Herausgeber); Kontogiannis, Spyros (Herausge
99,99 EUR
OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence 4th Workshop, OpenSHMEM 201 von Gorentla Venkata, Manjunath (Herausgeber); Imam, Neena (Herausgeber); Pophale, Swaroop (Herausgeber)
44,94 EUR

Artificial Neural Networks - ICANN 2010 20th International Conference, Thessaloniki, Greece, Septemb von Diamantaras, Konstantinos (Herausgeber); Duch, Wlodek (Herausgeber); Iliadis, Lazaros S. (Herausgebe
112,34 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.