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

Beckert, Bernhard

เลขเรียกหนังสือ : 6.333 B939A 2005
สำนักพิมพ์ : Springer,
วันที่วางจำหน่าย : 2005
หมวดหมู่ : Export
จำนวนหน้า : 342 ; 23
ความนิยม :
บาร์โค้ด ชื่อเรื่อง เลขเรียกหนังสือ สถานะ
PB019308 Automated reasoning with analytic tableaux and related methods international conference, tableaux 2005 koblenz, germany,september 14-17, 2005 proceedings 6.333 B939A 2005 อยู่บนชั้นวางหนังสือ  เข้าสู่ระบบ 

MARC Information

245 a : Title 
Automated reasoning with analytic tableaux and related methods : international conference, tableaux 2005 koblenz, germany,september 14-17, 2005 proceedings 
020 a : ISBN 
3540289313 
100 a : Author 
Beckert , Bernhard 
082 a : DDC Classification No. 
6.333 
082 b : Item number 
B939A 
260 c : Date of publication 
2005 
260 b : Name of publisher 
Springer, 
260 a : Place of publication 
New York: 
250 a : Edition statement 
1st ed. 
300 a : Total pages 
342 ; 23 
650 a : Subject 
Automatic theorem proving -- congresses 
850 a : Holding institution 
HU 

ไม่มีความคิดเห็น

  1. ยังไม่มีความคิดเห็น