Proceedings / International Conference on Automated Deduction

By: Resource type: Ressourcentyp: ZeitschriftPeriodicalLanguage: Undetermined Volumes: Bände: Show volumesZeige BändePublisher: Berlin ; Heidelberg [u.a.] : Springer, 1984-1988Other title:
  • Lecture notes in computer science / Proceedings - International Conference on Automated Deduction
Subject(s): Genre/Form: DDC classification:
  • 004
RVK: RVK: SS 4800Publication dates: Erscheinungsverlauf: 7.1984 - 9.1988Publication frequency: Erscheinungsweise: Forts. als Monographie behandeltGet a copy of article (LEA)Aufsatzkopie bestellen (LEA)Continues: Vorg.: Conference on Automated Deduction (DNB). Conference on Automated Deduction., Berlin : Springer, 1980Other relationships: Weitere Beziehungen: PPN: PPN: 130421235ZDB ID: ZDB-ID: 629203-3
No physical items for this record

C

KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT