Automated Reasoning with Analytic Tableaux and Related Methods

Conference Proceedings

Editor(s):Bernhard Beckert
Publisher:Springer
Series:LNCS
Volume:3702
Year:2005

BibTeX

@Proceedings{Beckert05,
   editor        = {Bernhard Beckert},
   title         = {Automated Reasoning with Analytic Tableaux and Related Methods},  
   year          = {2005}, 
   volume        = {3702},
   series        = {LNCS},
   publisher     = {Springer}
}