| Shelfclass_id | 4.B.3 |
| Sortkey | HAINS, GAETAN J. D. R. |
| Authors | Gaetan J. D. R. Hains |
| Title | Parallel Algorithms for Free and Associative-Commutative Unification |
| Publisher | LAP Lambert Academic Publishing |
| Year | 2014 |
| Languages | eng |
| Isbn | 9783659639920 |
| Record date | 20210930 |