m

Documents  Plotkin, Gordon | enregistrements trouvés : 2

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-0-521-41300-8

Localisation : Colloque 1er étage (SOPH)

algorithme # calcul # implémentation # logique de l'informatique # logique de programmation # logique intuitive # preuve # structure logique # système formel

68N17

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 727 p.
ISBN 978-0-262-12156-9

Localisation : Ouvrage RdC (Comp)

(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

03B45 ; 68N17 ; 68Q42

... Lire [+]

Filtrer

Type
Codes MSC

Titres de périodiques et e-books électroniques (Depuis le CIRM)

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z