Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation

Auteur(s) : Kleine Büning, Hans  Voir les notices liées en tant qu'auteur
Lettmann, Theodor  Voir les notices liées en tant qu'auteur

Titre(s) : Aussagenlogik [Texte imprimé] : deduktion und Algorithmen / von Prof. Dr. rer. nat. Hans Kleine Büning,... und Dr. rer. pol. Theodor Lettmann,...

Publication : Stuttgart : B. G. Teubner, 1994

Description matérielle : X-438 p. : ill. ; 23 cm

Collection : Leitfäden und Monographien der Informatik

Lien à la collection : Leitfäden und Monographien der Informatik  Voir toutes les notices liées

Note(s) : Bibliogr. p. 409-429. Index

Sujet(s) : Logique mathématique -- Informatique  Voir les notices liées en tant que sujet
Déduction (logique) -- Informatique  Voir les notices liées en tant que sujet
Algorithmes  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 3-519-02133-1 (br.)

Identifiant de la notice  : ark:/12148/cb374652528

Notice n° :  FRBNF37465252