m

Documents  Mundici, Daniele | enregistrements trouvés : 2

O
     

-A +A

P Q

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

- 347 p.
ISBN 978-3-540-63385-3

Lecture notes in computer science , 1289

Localisation : Collection 1er étage

algorithme non numérique # complexité # formalisme # intelligence artificiel # langage formel # logique mathématique # méthode # procédure de preuve # représentation de connaissance # théorie de preuve

68N17 ; 68Q15 ; 68Q20 ; 68Q25 ; 68Q45

... Lire [+]

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

- xviii; 256 p.
ISBN 978-94-007-0839-6

Trends in logic , 0035

Localisation : Ouvrage RdC (MUND)

algèbre MV # logique de Lukasiewicz # polyèdre # logique algébrique # cohérence de De Finetti

03-02 ; 03B50 ; 03G20 ; 06D35 ; 60B99

... Lire [+]

Z