Proximity-Based Unification: An Efficient Implementation Method
- Julian-Iranzo, P.
- Saenz-Perez, F.
ISSN: 1941-0034, 1063-6706
Argitalpen urtea: 2021
Alea: 29
Zenbakia: 5
Orrialdeak: 1238-1251
Mota: Artikulua
ISSN: 1941-0034, 1063-6706
Argitalpen urtea: 2021
Alea: 29
Zenbakia: 5
Orrialdeak: 1238-1251
Mota: Artikulua