Formal synthesis of a unification algorithm by the deductive-tableau method / Nardi, Daniele. - In: JOURNAL OF LOGIC PROGRAMMING. - ISSN 0743-1066. - 7:1(1989), pp. 1-43. [10.1016/0743-1066(89)90008-3]
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.