Theodor Lettmann

Pays :Allemagne
Langue :allemand
Note :
Informaticien. - En poste à l'Universität-GH Paderborn, Allemagne (en 1994)
ISNI :ISNI 0000 0001 1748 5364

Ses activités

Auteur du texte2 documents

  • Aussagenlogik

    deduktion und Algorithmen

    Description matérielle : X-438 p.
    Description : Note : Bibliogr. p. 409-429. Index
    Édition : Stuttgart : B. G. Teubner , 1994
    Auteur du texte : Hans Kleine Büning

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb374652528]
  • Propositional logic

    deduction and algorithms

    Description matérielle : 1 vol. (X-409 p.)
    Description : Note : Bibliogr. p. 385-402
    Édition : Cambridge : Camridge university press , 1999
    Auteur du texte : Hans Kleine Büning

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

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

  • Aussagenlogik : Deduktion und Algorithmen / von Prof. Dr. rer. nat. Hans Kleine Büning und Dr. rer. pol. Theodor Lettmann, 1994
  • LCNA (CD OCLC), 1995-03

Pages équivalentes