Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings / edited by Kai Brünnler, George Metcalfe.
By: (20th : TABLEAUX 2011 (20th : 2011 : Bern, Switzerland).
Contributor(s): Metcalfe, George [edt.] | Brünnler, Kai [edt.].
Material type: TextSeries: Lecture Notes in Computer Science, 6793. Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011ISBN: 9783642221194.Subject(s): Computer science | Software engineering | Logic design | Artificial intelligenceOnline resources: Click here to access onlineItem type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
National Library of India | Available | NLI-EBK000001754ENG |