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

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


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

# Urheber Titel Jahr Bestand
1

Fields of logic and computation: 2 / Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.). - (Lecture notes in computer science ; 9300 : Festschrift) 



2015 
     
2
Beklemishev, Lev D. [Herausgeber] Fields of Logic and Computation II [Online-Ressource] / edited by Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte. - 1st ed. 2015. - (Lecture Notes in Computer Science ; 9300) 

URL: http://dx.doi.org/10.1007/978-3-319-23534-9 ; Hinw.: Resolving-System

 2015 
     


Vorige Seite   Nächste Seite