Limit Search Results
Author
SpringerLink (Online service)
(309)
Schlechta, Karl. author.
(4)
Yager, Ronald R. editor.
(4)
Blackburn, Patrick. editor.
(3)
Bouchon-Meunier, Bernadette. editor.
(3)
Language
Publication Date
-
Subject
Computer science.
(124)
Mathematical logic.
(76)
Artificial Intelligence (incl. Robotics).
(69)
Mathematical Logic and Formal Languages.
(48)
Mathematical optimization.
(46)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
324 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings
Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings
Author 
Davenport, James H. editor. (orcid)0000-0002-3982-7545 Kauers, Manuel. editor. Labahn, George. editor. Urban, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96418-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Intelligent Systems'2014 Proceedings of the 7th IEEE International Conference Intelligent Systems IS'2014, September 24‐26, 2014, Warsaw, Poland, Volume 1: Mathematical Foundations, Theory, Analyses
Intelligent Systems'2014 Proceedings of the 7th IEEE International Conference Intelligent Systems IS'2014, September 24‐26, 2014, Warsaw, Poland, Volume 1: Mathematical Foundations, Theory, Analyses
Author 
Angelov, P. editor. Atanassov, K.T. editor. Doukovska, L. editor. Hadjiski, M. editor. Jotsov, V. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11313-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings
Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings
Author 
Kauers, Manuel. editor. Kerber, Manfred. editor. Miner, Robert. editor. Windsteiger, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73086-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
Author 
Kohlhase, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11618027
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Allan Bundy
OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Allan Bundy
Author 
Kohlhase, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11826095
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Gene Expression Programming Mathematical Modeling by an Artificial Intelligence
Gene Expression Programming Mathematical Modeling by an Artificial Intelligence
Author 
Ferreira, Cândida. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-32849-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Mathematical Knowledge Management 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006. Proceedings
Mathematical Knowledge Management 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006. Proceedings
Author 
Borwein, Jonathan M. editor. Farmer, William M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11812289
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
9. 
Cover image for Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy
Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy
Author 
McCarthy, John, 1927-2011. Lifschitz, Vladimir.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124500105
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for New State of MCDM in the 21st Century Selected Papers of the 20th International Conference on Multiple Criteria Decision Making 2009
New State of MCDM in the 21st Century Selected Papers of the 20th International Conference on Multiple Criteria Decision Making 2009
Author 
Shi, Yong. editor. Wang, Shouyang. editor. Kou, Gang. editor. Wallenius, Jyrki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19695-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Economic Dynamics and Information
Economic Dynamics and Information
Author 
Zajac, Jaroslav. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-32695-2
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for New Developments in Multiple Objective and Goal Programming
New Developments in Multiple Objective and Goal Programming
Author 
Jones, Dylan. editor. Tamiz, Mehrdad. editor. Ries, Jana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10354-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action