En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
0

Computational logic
essays in honor of Alan Robinson

Sélection Signaler une erreur
Ouvrage

Lassez, Jean-Louis (Editeur) ; Plotkin, Gordon (Editeur)

The Mit Press

1991

727 p.

978-0-262-12156-9

00016643

03B45 ; 68N17 ; 68Q42

(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

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00016643 [disponible]
Sélection Signaler une erreur