Reiner Hähnle

Pays :Allemagne
Langue :allemand
Note :
Ecrit aussi en anglais
En poste à l'Université de Karlsruhe, Allemagne (en 1993)
ISNI :ISNI 0000 0001 1615 845X

Ses activités

Auteur du texte1 document

  • Automated deduction in multiple-valued logics

    Description matérielle : IX-172 p.
    Description : Note : Bibliogr. p. 156-168. Index
    Édition : Oxford : Clarendon press : Oxford university press , 1993

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb37435895k]

Éditeur scientifique1 document

Pages dans data.bnf.fr

Auteurs reliés

Cette page dans l'atelier

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

  • Automated deduction in multiple-valued logics / Reiner Hähnle, 1993
  • LCNA (CD OCLC), 1994-09

Pages équivalentes