Homepage der hbz-Verbunddatenbank hbz-Verbundkatalog - Gesamtkatalog Datenschutzerklärung
Standardsuche   Expertensuche   Indexsuche   Ergebnisliste Hilfe
Einstellungen   Suchverlauf   Korb   Kataloge   Feedback Neustart
 
Ergebnisliste für ISBN= "9783540731467"; Sortiert nach: Jahr, dann Urheber

  Vollanzeige Speichern/Senden Auswahlliste In den Korb Modifizieren Hilfe zur Ergebnisliste


Titel 1 - 3 von 3  
 
 
Vorige Seite   Nächste Seite

# Urheber Titel Jahr Bestand
1
Comon-Lundh, Hubert Rewriting, Computation and Proof [Elektronische Ressource] / edited by Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner. - (Lecture Notes in Computer Science ; 4600) 

URL: http://dx.doi.org/10.1007/978-3-540-73147-4 ; Hinw.: Resolving-System

 2007 
     
2
Comon-Lundh, Hubert [Herausgeber] Rewriting, computation and proof [Elektronische Ressource] / Hubert Comon-Lundh ... (eds.). - (Lecture notes in computer science ; 4600) 



2007 
     
3
Comon-Lundh, Hubert [Herausgeber] Rewriting, Computation and Proof / Hubert Comon-Lundh ... (eds.). - (Lecture Notes in Computer Science ; 4600 : Festschrift) 

URL: http://digitale-objekte.hbz-nrw.de/storage2/2018/06/16/file_449/7942599.pdf
Inhaltsverzeichnis

 2007 
     


Vorige Seite   Nächste Seite