Proceedings / International Conference on Automated Deduction
Resource type: Ressourcentyp: ZeitschriftPeriodikaSprache: Nicht definiert Volumes: Bände: Show volumesZeige BändeVerlag: Berlin ; Heidelberg [u.a.] : Springer, 1984-1988Weitere Titel:- Lecture notes in computer science / Proceedings - International Conference on Automated Deduction
- 004
- 7=170; 8=230; 9=310 von: Lecture notes in computer science. Berlin, Germany : Springer, 1973
Dieser Titel hat keine Exemplare
C