Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 162 p.
ISBN 978-3-540-52734-3
Lecture notes in mathematics , 1429
Localisation : Collection 1er étage
informatique # logique # théorie de la recursion
03B20 ; 03B40 ; 03B70 ; 03D15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 329 p.
ISBN 978-0-444-81644-3
Studies in computer science and artificial intelligence , 0013
Localisation : Ouvrage RdC (META)
Prolog # logique mathématique # logique symbolique # programmation logique # prédicat
03-02 ; 68N17
... Lire [+]
