Patenting Logic, Mathematics or Logarithms? The Case of Computer-Assisted Proofs

By Vallverdu Jordi  

Recent Patents on Computer Science, Vol. 4, Iss. 1, 2011-01 ,pp. : 66-70

Bentham Science Publishers

Access to resources Recommend Favorite

A novel method for computer-controlled condition monitoring of hydraulic systems

By Yu F   Gupta N  

Insight - Non-Destructive Testing and Condition Monitoring, Vol. 45, Iss. 8, 2003-08 ,pp. : 536-538

The British Institute of Non-Destructive Testing

Access to resources Recommend Favorite

Application of the Step-by-Step Approximation Method for the Computer Control of Laser Welding Processes

By Bad'yanov B.N.   Elizarov A.A.   Kolupaev Y.F.  

Measurement Techniques, Vol. 46, Iss. 2, 2003-02 ,pp. : 162-165

Springer Publishing Company

Access to resources Recommend Favorite

A Method of Calculating the Spectrum of Neutrons from the Results of Measurements with Integrated Detectors Realized in a New Version of the KASKAD Software

By Maslov G.N.   Sevast'yanov V.D.   Koshelev A.S.  

Measurement Techniques, Vol. 46, Iss. 5, 2003-05 ,pp. : 505-512

Springer Publishing Company

Access to resources Recommend Favorite

Method of Determining an Additive Component of the Systematic Error of Instruments Measuring a Phase-Shift Angle Taking Account of a priori Information

By Blinov I.Y.   Denisenko O.V.   Lotonov M.A.  

Measurement Techniques, Vol. 45, Iss. 11, 2002-11 ,pp. : 1119-1124

Springer Publishing Company

Access to resources Recommend Favorite