Static Analysis and Verification Victor Vianu U.C. San Diego in Databases.
CS544: Logic, Lecture 1 Jerry R. Hobbs USC/ISI Marina del Rey, CA February 22, 2011.
CS544: Logic, Lecture 1
SPIN EFFECTS IN FRAGMENTATION OF GEV POLARIZED DEUTERONS