Special issue: Selected papers based on the presentations at the 5th international joint conference on automated reasoning (IJCAR), Edingurgh, UK, July 2010

zbMATH Open1250.03007MaRDI QIDQ654844

Author name not available (Why is that?)

Publication date: 21 December 2011

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Related Items (1)

Title not available (Why is that?)

Recommendations

• Automated reasoning. 6th international joint conference, IJCAR 2012, Manchester, UK, June 26--29, 2012. Proceedings 👍 👎
• Automated reasoning. 4th international joint conference, IJCAR 2008, Sydney, Australia, August 12--15, 2008 Proceedings 👍 👎
• Automated reasoning. 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16--19, 2010. Proceedings 👍 👎
• Special issue: Selected papers based on the presentations at the 4th international joint conference on automated reasoning (IJCAR 2008), Sydney, Australia, August 2008. 👍 👎
• Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1--4, 2020. Proceedings. Part I 👍 👎
• Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1--4, 2020. Proceedings. Part II 👍 👎
• Automated reasoning. Third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17--20, 2006. Proceedings 👍 👎
• Special issue: Selected papers based on the presentations at the 3rd international joint conference on automated reasoning (IJCAR 2006), Seattle, WA, USA, August 17--20, 2006. 👍 👎
• Automated reasoning. Second international joint conference, IJCAR 2004, Cork, Ireland, July 4--8, 2004. Proceedings. 👍 👎
• Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings 👍 👎

This page was built for publication: Special issue: Selected papers based on the presentations at the 5th international joint conference on automated reasoning (IJCAR), Edingurgh, UK, July 2010

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q654844)