Normal view MARC view ISBD view

Rewriting techniques and applications : proceedings / RTA

Contributor(s):

Resource type: Ressourcentyp: ZeitschriftPeriodicalLanguage: English Volumes: Bände: Show volumesZeige BändePublisher: Berlin ; Heidelberg [u.a.] : Springer, 1985-1989Other title:

Lecture notes in computer science / Rewriting techniques and applications

Subject(s):

Automatisches Beweisverfahren

Genre/Form:

DDC classification:

Publication dates: Erscheinungsverlauf: 1.1985 - 3.1989Publication frequency: Erscheinungsweise: Forts. als Monographie behandeltGet a copy of article (LEA)Aufsatzkopie bestellen (LEA)Other relationships: Weitere Beziehungen:

1=202; 2=256; 3=355 von: Lecture notes in computer science. Berlin, Germany : Springer, 1973

PPN: PPN: 130429074ZDB ID: ZDB-ID: 635648-5

Holdings ( 0 )
Title notes ( 1 )

No physical items for this record

Print
Cite
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Karlsruher Virtueller Katalog Bibliotheksportal Karlsruhe Google Scholar Andere Bibliotheken (WorldCat)