Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Functions-as-constructors higher-order unification: extended pattern unification."
Treffer 1 von 1
|
|
| Link zu diesem Datensatz | https://d-nb.info/1247994260 |
| Titel | Functions-as-constructors higher-order unification: extended pattern unification / by Tomer Libal, Dale Miller |
| Person(en) |
Libal, Tomer (Verfasser) Miller, Dale (Verfasser) |
| Organisation(en) | SpringerLink (Online service) (Sonstige) |
| Umfang/Format | Online-Ressource : online resource. |
| Persistent Identifier |
URN: urn:nbn:de:101:1-2021121908315895028074 DOI: 10.1007/s10472-021-09774-y |
| URL | https://doi.org/10.1007/s10472-021-09774-y (Open Access) |
| Zeitliche Einordnung | Erscheinungsdatum: 2021 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Enthalten in: Annals of mathematics and artificial intelligence (30.9.2021: 1-25) |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 1 von 1
Administration
