Limit Search Results
Author
SpringerLink (Online service)
(18)
Aue, Maximilian.
(1)
Bacchus, Fahiem. editor.
(1)
Basin, David.
(1)
Beziau, Jean-Yves. editor.
(1)
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
28 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Valued Fields
Valued Fields
Author 
Engler, Antonio J. author. Prestel, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-30035-X
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Laws of Nature
Laws of Nature
Author 
Mittelstaedt, Peter. Weingartner, Paul A. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-28303-X
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Scenario Logic and Probabilistic Management of Risk in Business and Engineering
Scenario Logic and Probabilistic Management of Risk in Business and Engineering
Author 
Solojentsev, E. D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-2978-0
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Trends in Continuum Mechanics of Porous Media
Trends in Continuum Mechanics of Porous Media
Author 
Boer, Reint. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3144-0
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Essays in Constructive Mathematics
Essays in Constructive Mathematics
Author 
Edwards, Harold M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138656
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Categories for Software Engineering
Categories for Software Engineering
Author 
Fiadeiro, José Luiz. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138249
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday
Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday
Author 
Middeldorp, Aart. editor. Oostrom, Vincent. editor. Raamsdonk, Femke. editor. Vrijer, Roel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11601548
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Propositional and Predicate Calculus A Model of Argument
Propositional and Predicate Calculus A Model of Argument
Author 
Goldrei, Derek. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-229-2
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
Author 
Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11527695
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
Author 
Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137280
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings
Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings
Author 
Ong, Luke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11538363
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
Author 
Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106663
Format: 
Availability 
Online Library~1
Available:
Copies: