Gramlich, Bernhard., Miller, Dale.Sattler, Uli. (Eds.) () Automated Reasoning6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. ProceedingsMLA Citation
These citations may not conform precisely to your selected citation style. Please use this display as a guideline and modify as needed.
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.
|Names:||Gramlich, Bernhard. | Miller, Dale. | Sattler, Uli.|
|Published:||Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.|
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.|