| Shelfclass_id | 4.B.3 |
| Sortkey | SUCHANEK, FABIAN |
| Authors | Fabian Suchanek |
| Title | Automated Reasoning and Common Sense: Higher Order Aspirations with First Order Logic |
| Publisher | VDM |
| Year | 2008 |
| Languages | eng |
| Isbn | 9783639003932 |
| Record date | 20090309 |
| Location | Saarbrücken |