บาร์โค้ด | ชื่อเรื่อง | เลขเรียกหนังสือ | สถานะ | |
---|---|---|---|---|
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