Your search returned 8 results.

Results
		Comparing Verification Systems Interactive Consistency in Acl2 by Young, Wililam H Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		on Hardware Support for Interval Computations and for Soft Computing: Theorems by Nesterov, Vyacheslav Kreinovich, Vladik Nguyen, Hung T Source: IEEE Transactions on Fuzzy Systems Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs by Peterka, George Murata, Tadao Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		A Set Inference Rules for Quantified Formula Handling and Array Handling in Verification of Programs Over Integers by SARkar, Dilip SARkar, S. C. De Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Fuzzy Inference Based on Families of X-Level Sets by Fujise, Masayuki Uehara, Kiyohiko Source: IEEE Transactions on Fuzzy Systems Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		High-Order Balanced Multiwavelets: Theory, Factorization, and Design by Lebrun, J Vetterli, M Source: Ieee Transactions on Signal Processing Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Classification of Units in H and An Alternative Proof of Kharitonov'S Theorem. by Datta, K. B Patel, V. V Source: Ieee Transactions on Circuits and Systems, I: Fundamental Theory and Applications Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		An Extension ofKreiss Matrix Theorem by Strikwerda, John C Wade, Bruce A Source: Siam Journal on Numerical Analysis Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article

Report a problem