Combining assisted and automated deduction

By Kirchner H.  

Annals of Mathematics and Artificial Intelligence, Vol. 28, Iss. 1-4, 2000-01 ,pp. : 21-26

Springer Publishing Company

Access to resources Recommend Favorite

Automated control of Czochralski and shaped crystal growth processes using weighing techniques

By Abrosimovi N.V.   Kurlov V.N.   Rossolenko S.N.  

Progress in Crystal Growth and Characterization of Materials, Vol. 46, Iss. 1, 2003-01 ,pp. : 1-57

Elsevier

Access to resources Recommend Favorite

Personalized management of hepatocellular carcinoma based on molecular information: Future prospects

By  

CLINICAL LIVER DISEASE (ELECTRONIC), Vol. 5, Iss. 6, 2015-06 ,pp. : 132-135

John Wiley & Sons Inc

Access to resources Recommend Favorite

A taxonomy of parallel strategies for deduction

By Bonacina M.P.  

Annals of Mathematics and Artificial Intelligence, Vol. 29, Iss. 1-4, 2000-01 ,pp. : 223-257

Springer Publishing Company

Access to resources Recommend Favorite

A New Deduction of the Gaussian Distribution

By  

STUDIES IN APPLIED MATHEMATICS, Vol. 10, Iss. 1, 1931-04 ,pp. : 284-288

John Wiley & Sons Inc

Access to resources Recommend Favorite