Automated Reasoning with Analytic Tableaux and Related Methods

Tagungsband

Herausgeber:Bernhard Beckert
Verleger:Springer
Reihe:LNCS
Band:3702
Jahr:2005

BibTeX

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