Ergebnisliste für ISBN= "9783031211126"; Sortiert nach: Jahr, dann Urheber

  Hilfe zur Ergebnisliste


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

# Urheber Titel Jahr Bestand
1
Farmer, William M. [Verfasser] Simple Type Theory [Online-Ressource] / by William M. Farmer. - 1st ed. 2023. - (Computer Science Foundations and Applied Logic) 

URL: https://doi.org/10.1007/978-3-031-21112-6 ; Hinw.: Resolving-System

2023  1117 WO: HSB Worms
     


Vorige Seite   Nächste Seite