Peter H. Schmitt

Pays :Allemagne
Langue :allemand
Note :
Ecrit aussi en anglais
Informaticien et mathématicien. - En poste à Universität Karlsruhe, Institut für Logik, Komplexität und Deduktionssysteme, Allemagne (en 1993)
ISNI :ISNI 0000 0001 0882 036X

Ses activités

Éditeur scientifique2 documents

  • 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 : Wolfgang Bibel

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb37547244w]
  • Nonmonotonic and inductive logic

    second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991, proceedings

    Description matérielle : VIII-332 p.
    Description : Note : Bibliogr. à la fin de chaque chap.
    Édition : Berlin ; New York : Springer , cop. 1993
    Auteur du texte : International workshop on nonmonotonic and inductive logic (02 ; 1991 ; Reinhardsbrunn Castle, Allemagne)
    Éditeur scientifique : Gerhard Brewka, Klaus P. Jantke

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

Autre1 document

  • Verification of object-oriented software

    the KeY approach

    Description matérielle : 1 online resource (xxix, 658 p.)
    Description : Note : "AI systems."
    Titre de l'écran-titre (visionné le 5 janvier 2009)
    Bibliogr
    Print version record.
    Édition : Berlin ; New York : Springer , cop. 2007

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

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

  • Nonmonotonic and inductive logic : second international workshop, Reinhard castle, Germany, December 2-6, 1991, proceedings / G. Brewka, K. P. Jantke, P. H. Schmitt, eds., 1993
  • LCNA (CD OCLC), 1995-03

Pages équivalentes