KreinovichVladik

Book review: Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 1. Logical Foundations. Edited by Dov M. Gabbay, C. J. Hogger, and J. A. Robinson (Claredon Press, Oxford, 1993 )

KreinovichVladik, 1995 .

Itanium's new basic operation of fused multiply-add

KreinovichVladik, 2001 .

Designing Interdisciplinary Approaches To Problem Solving Into Computer Languages

KreinovichVladik, E CookeDaniel, E UrbanJoseph, 2002 .

Computing variance for interval data is NP-hard

KreinovichVladik, FersonScott, GinzburgLev, 2002 .

Review of A=B5 by Marko Petkovsek, Herbert S. Wilf, and Doron Zeilberger

KreinovichVladik, 2000 .