ببليوغرافيا الكتب الإنجليزية

ببليوغرافيا الكتب الإنجليزية

فهرسة أكثر من أربعة ملايين وثلاثمائة ألف كتاب باللغة الإنجليزية مع ترجمة العنوان واسم المؤلف للغة العربية

Proof theory in computer science

Arabic Title : نظرية برهان في علوم الكمبيوتر: الندوة الدولية، PTCS 2001، قلعة داغستوف، ألمانيا، October 7-12 2001:
BNB number : GBA164888
Date published : 2001
Has extent : viii, 238 p.
Has note on contents : Includes bibliographical references and index.
ISBN : 354042752X
ISBN10 : 354042752X
Title : Proof theory in computer science : International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12 2001 : proceedings
Contributor : Schroeder-Heister
P. (Peter)
Schroeder-Heister
P (Peter)
Kahle
Reinhard
1967-
Stärk
Robert F.
1963-
Subject : Proof theory--Congresses
511.3
Has carrier type : volume
Has content type : text
Has media type : unmediated
Identifier : http://bnb.data.bl.uk/id/resource/GBA164888
Language : http://lexvo.org/id/iso639-3/eng
Publication : Berlin ; London : Springer, c2001
Url : 007756993
See also
Generic programming : International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 21-May 1 1998 : selected papers
Integrated formal methods : Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings
Multi-image analysis : 10th International Workshop on Theoretical Foundations of Computer Vision, Dagstuhl Castle, Germany, March 12-17, 2000 : revised papers
Database schema evolution and meta-modeling : 9th International Workshop on Foundations of Models and Languages for Data and Objects, FoMLaDO/DEMM 2000, Dagstuhl Castle, Germany, September 18-21, 2000 : selected papers
Proof theory in computer science : International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12 2001 : proceedings

  • .
  • .
  • .
  • .
  • .
  • .