Limit Search Results
Author
SpringerLink (Online service)
(225)
Gabbay, Dov M. author.
(4)
Löwe, Benedikt. editor.
(4)
Schlechta, Karl. author.
(4)
Andreescu, Titu. author.
(3)
Language
Publication Date
-
Subject
Logic, Symbolic and mathematical.
(292)
Mathematics.
(125)
Computer science.
(101)
Logic.
(47)
Artificial intelligence.
(34)
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
330 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Teoria algebrica dei meccanismi automatici
Teoria algebrica dei meccanismi automatici
Author 
Righi, R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10932-4
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Foundations of Algebraic Specification and Formal Software Development
Foundations of Algebraic Specification and Formal Software Development
Author 
Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17336-3
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for On Intuitionistic Fuzzy Sets Theory
On Intuitionistic Fuzzy Sets Theory
Author 
Atanassov, Krassimir T. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29127-2
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings
How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings
Author 
Cooper, S. Barry. editor. Dawar, Anuj. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30870-3
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Non solo calcoli Domande e risposte sui perché della matematica
Non solo calcoli Domande e risposte sui perché della matematica
Author 
Villani, Vinicio. author. Bernardi, Claudio. author. Zoccante, Sergio. author. Porcaro, Roberto. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-2610-0
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for The Mathematical Experience, Study Edition
The Mathematical Experience, Study Edition
Author 
Davis, Philip J. author. Hersh, Reuben. author. Marchisotto, Elena Anne. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-8295-8
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for A Beginner's Guide to Finite Mathematics For Business, Management, and the Social Sciences
A Beginner's Guide to Finite Mathematics For Business, Management, and the Social Sciences
Author 
Wallis, W.D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-8319-1
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Excursions in the History of Mathematics
Excursions in the History of Mathematics
Author 
Kleiner, Israel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-8268-2
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for A Beginner's Guide to Discrete Mathematics
A Beginner's Guide to Discrete Mathematics
Author 
Wallis, W.D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-8286-6
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Lecture Notes on O-Minimal Structures and Real Analytic Geometry
Lecture Notes on O-Minimal Structures and Real Analytic Geometry
Author 
Miller, Chris. editor. Rolin, Jean-Philippe. editor. Speissegger, Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4042-0
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Introduction to Mathematical Structures and Proofs
Introduction to Mathematical Structures and Proofs
Author 
Gerstein, Larry J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4265-3
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Mathematics of Discrete Structures for Computer Science
Mathematics of Discrete Structures for Computer Science
Author 
Pace, Gordon J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29840-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action