(dés)unification # ABSYS # Prolog proche de Horn # inférence inductive des théories à partir des faits # logique du calcul # logique modale # procédure de complétion # programmation logique # retour chez soi intelligent # science du raisonnement # système de réécriture orthogonale

Publisher City : Cambridge,MA ; London

Publisher country : États-Unis

Language : English

EAN13 : 9780262121569

ISBN : 0-262-12156-5

Collation : Bibliogr. ; photogr.#fig.#26 cm#rel. ; viii

Location : Ouvrage RdC (Comp)

Book type : Mélanges

Availability : empruntable

Level of authorization : Public

Copies