Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings

書誌事項

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings

Georg Gottlob, Alexander Leitsch, Daniele Mundici, (eds.)

(Lecture notes in computer science, 713)

Springer-Verlag, c1993

  • : us
  • : gw

大学図書館所蔵 件 / 60

この図書・雑誌をさがす

注記

Sponsored by Kurt Gödel Society

Includes bibliographical references

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ