> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Synthesis of a unification algorithm in a logic programming calculus Beteiligte: Eriksson, Lars-Henrik Erschienen: Elsevier BV, 1984 Erschienen in: The Journal of Logic Programming, 1 (1984) 1, Seite 3-18 Sprache: Englisch DOI: 10.1016/0743-1066(84)90020-7 ISSN: 0743-1066 Schlagwörter: Logic Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang