| Type |  Book |
| ชื่อเรื่อง | Generic inference : a unifying theory for automated reasoning / Marc Pouly, Jurg Kohlas |
| ผู้แต่ง | Pouly, Marc 1980- |
| ISBN | 0470527013 |
| | 0470527013 (hardback) |
| | 1118010841 (ePDF) |
| | 1118010868 (ePub) |
| | 1118010876 (oBook) |
| | 9780470527016 |
| | 9780470527016 (hardback) : ฿4250.00 |
| | 9781118010846 (ePDF) |
| | 9781118010860 (ePub) |
| | 9781118010877 (oBook) |
| พิมพลักษณ์ | Hoboken, New Jersey : Wiley, c2011 |
| รูปเล่ม | xxxi, 452 p. : ill. ; 25 cm |
| ลิงค์ | Contents. |
| หัวเรื่อง | Abstract algebra |
| | Algebra, Abstract |
| | Algorithms |
| | Valuation theory |