(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

Ville d'édition : Cambridge,MA ; London

Pays d'édition : États-Unis

Langue : Anglais

EAN13 : 9780262121569

ISBN : 0-262-12156-5

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

Localisation : Ouvrage RdC (Comp)

Type d'ouvrage : Mélanges

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires