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

Bookmarks Report an error
Ouvrage

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

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

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

Number of copies : 1
No. Call n° Bar code Commentary
1 00016643 [available]
Bookmarks Report an error