Jump to main content

yr 〜
yr

Search results 6

Verification of object-oriented software : the KeY approach

Verification of object-oriented software : the KeY approach
Paper図書
Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.) ; foreword by K. Rustan M. LeinoSpringerc2007
Other Libraries in Japan
  • Author HeadingBeckert, Bernhard Hähnle, Reiner Schmitt, P. H. (Peter H.) Leino, K. Rustan M.

Automated deduction : a basis for applications set v.1 v.2 v.3

Automated deduction : a basis for applications set v.1 v.2 v.3
Paper図書
edited by Wolfgang Bibel and Peter H. SchmittKluwer Academicc1998
Other Libraries in Japan
  • Author HeadingBibel, Wolfgang Schmitt, P. H. (Peter H.)

Nonmonotonic and inductive logic : second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings : gw : us

Nonmonotonic and inductive logic : second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings : gw : us
Paper図書
G. Brewka, K.P. Jantke, P.H. Schmitt, (eds.)Springer-Verlagc1993
Other Libraries in Japan
  • Author Heading...ntke, Klaus P. Schmitt, P. H. (Peter H.) International Workshop on Non...

Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990 : proceedings : gw : us

Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990 : proceedings : gw : us
Paper図書
J. Dix, K.P. Jantke, P.H. Schmitt, edsSpringer-Verlagc1991
Other Libraries in Japan
  • Author Heading...ntke, Klaus P. Schmitt, P. H. (Peter H.)

Nonmonotonic and inductive logic : second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings / G. Brewka, K.P. Jantke, P.H. Schmitt. (Lecture notes in computer science ; 659. Lecture notes in artificial intelligence)

Nonmonotonic and inductive logic : second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings / G. Brewka, K.P. Jantke, P.H. Schmitt. (Lecture notes in computer science ; 659. Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1993.<M15-A8723>
National Diet Library
  • Author Heading... P. (Klaus P.) Schmitt, P. H. (Peter H.) , 1948- International Worksho...

Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990, proceedings / J. Dix, K.P. Jantke, P.H. Schmitt (eds.). (Lecture notes in computer science. Lecture notes in artificial intelligence)

Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990, proceedings / J. Dix, K.P. Jantke, P.H. Schmitt (eds.). (Lecture notes in computer science. Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1991.<M15-A8011>
National Diet Library
  • Author Heading... P. (Klaus P.) Schmitt, P. H. (Peter H.) , 1948- International Worksho...

Reached to the end of result.

RSS