Limit Search Results
Author
Publication Date
-
Subject
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
2 Results Found Subscribe to search results
00DEFAULT
Print
1. 
Cover image for Knowledge Processing with Interval and Soft Computing
Knowledge Processing with Interval and Soft Computing
Author 
Kreinovich, Vladik. editor. Korvin, Andre. editor. Baker Kearfott, R. editor. Hu, Chenyi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-326-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
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: