Limit Search Results
Author
SpringerLink (Online service)
(28)
Andreescu, Titu. author.
(1)
Andrew, Alex M. author.
(1)
Artemov, Sergei. editor.
(1)
Atmanspacher, Harald. editor.
(1)
Language
Subject
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
31 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Logical labyrinths
Logical labyrinths
Author 
Smullyan, Raymond M.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Introduction to mathematics of satisfiability
Introduction to mathematics of satisfiability
Author 
Marek, V. W. (V. Wiktor), 1943-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Games, puzzles, and computation
Games, puzzles, and computation
Author 
Hearn, Robert A. Demaine, Erik D., 1981-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Introduction to Boolean Algebras
Introduction to Boolean Algebras
Author 
Halmos, Paul. author. Givant, Steven. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-68436-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Mathematical Olympiad Challenges
Mathematical Olympiad Challenges
Author 
Andreescu, Titu. author. Gelca, Răzvan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4611-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Algorithmic Composition Paradigms of Automated Music Generation
Algorithmic Composition Paradigms of Automated Music Generation
Author 
Nierhaus, Gerhard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-211-75540-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Generalized Measure Theory
Generalized Measure Theory
Author 
Wang, Zhenyuan. author. Klir, George J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-76852-6
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Dude, Can You Count? Stories, Challenges, and Adventures in Mathematics
Dude, Can You Count? Stories, Challenges, and Adventures in Mathematics
Author 
Constanda, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-539-0
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Formal Theories of Information From Shannon to Semantic Information Theory and General Concepts of Information
Formal Theories of Information From Shannon to Semantic Information Theory and General Concepts of Information
Author 
Sommaruga, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00659-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
Author 
Grumberg, Orna. editor. Kaminski, Michael. editor. Katz, Shmuel. editor. Wintner, Shuly. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01748-3
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Ultimate Explanations of the Universe
Ultimate Explanations of the Universe
Author 
Heller, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02103-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings
Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings
Author 
Curien, Pierre-Louis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02273-9
Format: 
Availability 
Online Library~1
Available:
Copies: