Computational logic
essays in honor of Alan Robinson
(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
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00016643 | [disponible] |