Automated reasoning with analytic tableaux and related methods international conference, tableaux 2005 koblenz, germany,september 14-17, 2005 proceedings

ผู้แต่ง : Beckert, Bernhard

วันที่เผยแพร่ : 15/07/2021

สำนักพิมพ์ : -

หมวดหมู่ : Export

จำนวนหน้า : 342 ; 23หน้า

ISBN : 3540289313