m

Documents  Leitsch, Alexander | enregistrements trouvés : 3

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.

- 300 p.
ISBN 978-3-540-61882-9

Texts in theoretical computer science an EATCS series

Localisation : Ouvrage RdC (LEIT)

calcul de résolution # complexité de résolution # informatique théorique # logique langage # théorème de résolution

68Qxx

... Lire [+]

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

- vi-287 p.
ISBN 978-94-007-0319-3

Trends in logic , 34

Localisation : Ouvrage RdC (BAAZ)

théorie de la preuve # théorie de la démontration # élimination des coupures # méthode CERES

03-02 ; 03F05 ; 03B35

... Lire [+]

Z