Table of Contents for: Automated Reasoning : 6th International

 Staff view

You must be logged in to Tag Records

Automated Reasoning [electronic resource] : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings /

edited by Bernhard Gramlich, Dale Miller, Uli Sattler.

Book Cover
Names: Gramlich, Bernhard. | Miller, Dale. | Sattler, Uli.
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Series: Lecture Notes in Computer Science, 7364
Topics: 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 Computing.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


[Empty]

Table of Contents for: Automated Reasoning : 6th International