Limit Search Results
Language
Publication Date
-
Material Type
Shelf Location
Library
2 Results Found Subscribe to search results
00DEFAULT
Print
Author 
Biere, Armin. editor. (orcid)0000-0001-7170-9242 Bloem, Roderick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies: