m

F Nous contacter

0

Documents  68A40 | enregistrements trouvés : 4

O
     

-A +A

P Q

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

- 183 p.
ISBN 978-0-8218-3021-5

Proceedings of the Steklov institute of mathematics , 0121

Localisation : Collection 1er étage

02B10 ; 02C15 ; 02G05 ; 02G99 ; 68A40

... Lire [+]

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.

- 273 p.
ISBN 978-0-442-23109-5

Localisation : Ouvrage RdC (WANG)

logique mathématiques # logique symbolique

03B15 ; 03B30 ; 03B65 ; 68A40 ; 03-XX

... 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 [+]

Z