Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 304 p.
ISBN 978-0-12-058536-6
Computer science and applied mathematics
Localisation : Ouvrage RdC (ANDR)
calcul des prédicats # démonstration # logique de premier ordre # logique mathématiques # réfutation
03-XX ; 03B15 ; 03B35 ; 68A40
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-3-540-09501-9
Lecture notes in mathematics , 0718
Localisation : Collection 1er étage
complexite # deductibilite # informatique theorique # logique # recessivite # systeme logique classique
02B10 ; 03D05 ; 02G05 ; 68A40 ; 69A20
... Lire [+]
