Results 211 to 220 of about 18,925 (232)
Some of the next articles are maybe not open access.

Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite

Electronic Notes in Theoretical Computer Science, 2006
Clark Barrett
exaly  

CVC PRODUCTS, INC.

Analytical Chemistry, 1981
openaire   +1 more source

A Review on function of CVC

Journal of SME Finance, 2018
openaire   +1 more source

Power Exponent in CVC and Critical Current of Y-Ba-Cu-O Films

Journal of Superconductivity and Novel Magnetism, 2019
Krasnoperov E P
exaly  

CVC Producrs, Inc.

Analytical Chemistry, 1974
openaire   +1 more source

CVC PRODUCTS, INC.

Analytical Chemistry, 1980
openaire   +1 more source

Home - About - Disclaimer - Privacy