théorie de la démonstration # logique probabiliste de premier ordre # clone et hyperclone # commutation et conception logique # système de preuve interactive

Ville d'édition : Beograd

Pays d'édition : Yougoslavie

Langue : Anglais

EAN13 : 9788680593579

ISSN : 0351-9406

Collation : 24 cm#broch.

Collection : Zbornik radova

N° de collection : 0018

Localisation : Ouvrage RdC (LOGI)

Type d'ouvrage : Anonyme

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires