Wolfgang Bibel

Pays :Allemagne
Langue :allemand
Note :
Mathématicien. - En poste à Technische Hochschule Darmstadt, Allemagne (en 1993)
ISNI :ISNI 0000 0001 0889 9143

Ses activités

Éditeur scientifique1 document

  • Automated deduction

    a basis for applications

    Description matérielle : 3 vol. (XX-480, XIV-434, XII-334 p.)
    Description : Note : Bibliogr. à la fin de chaque chapitre. Index
    Édition : Dordrecht ; Boston : Kluwer academic publ. , cop. 1998
    Éditeur scientifique : Peter H. Schmitt

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb37547244w]

Auteur du texte1 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

  • Deduction : automated logic / by Wolfgang Bibel ; with the asst. of Steffen Hölldobler and exercises by Gerd Neugebauer ; transl. by Monika Lekuse with the asst. of Donald Sannella, 1993
  • LCNA (CD OCLC), 1994-06

Pages équivalentes