000			00501nmm a2200145Ia 4500
008			230202s9999||||xx |||||||||||||||||und||
020			_a9783540683681
100			_aPierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi
245		0	_aTheorem Proving with Analytic Tableaux and Related Methods
250			_a1996
260			_bSpringer Berlin Heidelberg _c1996
440			_aLecture Notes in Computer Science
650			_aComputer Science
856			_uhttps://doi.org/10.1007/3-540-61208-4
999			_c26642 _d26642