Normal view MARC view ISBD view

Automated Reasoning [Recurso electrónico] : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings / edited by Bernhard Gramlich, Dale Miller, Uli Sattler.

Gramlich, Bernhard.
Contributor(s): Miller, Dale | Sattler, Uli.
Material type: materialTypeLabelBook; Format: electronic Series: Lecture Notes in Computer Science ; 7364.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012ISBN: 9783642313653.Subject(s): Computer science | Software engineering | Logic design | Electronic data processing | Artificial intelligence | Computer Science | Mathematical Logic and Formal Languages | Logics and Meanings of Programs | Artificial Intelligence (incl. Robotics) | Software Engineering | Mathematics of Computing | Numeric ComputingAdditional physical formats: Printed edition:: No titleOnline resources: Texto completo
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
No physical items for this record

Restringido a usuarios de la UCA

Modo de acceso: World Wide Web

There are no comments for this item.

Log in to your account to post a comment.

Powered by Koha