Normale Ansicht MARC-Ansicht ISBD

Proceedings / International Conference on Automated Deduction

Von:

International Conference on Automated Deduction [VerfasserIn]

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

Schlagwörter:

Automatisches Beweisverfahren

Genre/Form:

DDC-Klassifikation:

RVK: RVK: SS 4800Publication dates: Erscheinungsverlauf: 7.1984 - 9.1988Publication frequency: Erscheinungsweise: Forts. als Monographie behandeltGet a copy of article (LEA)Aufsatzkopie bestellen (LEA)Fortsetzung von: Vorg.: Conference on Automated Deduction (DNB). Conference on Automated Deduction., Berlin : Springer, 1980Other relationships: Weitere Beziehungen:

7=170; 8=230; 9=310 von: Lecture notes in computer science. Berlin, Germany : Springer, 1973

PPN: PPN: 130421235ZDB ID: ZDB-ID: 629203-3

Exemplare ( 0 )
Titelinformationen ( 1 )

Dieser Titel hat keine Exemplare