6th Conference on Automated Deduction: New York, USA, June 7–9, 1982 von Loveland, D. W

Volltext

Microstructure damage of titanium films by irradiation with fission fragments von Sadi, S., Paulenova, A., Loveland, W.D., Watson, P.R., Greene, J.P., Zinkann, G.P.

Volltext

Automated Deduction: Looking Ahead von Loveland, Donald W.

Volltext

The Use of Lemmas in the Model Elimination Procedure von Astrachan, O L, Loveland, D W

Volltext

A Simplified Format for the Model Elimination Theorem-Proving Procedure von Loveland, D. W.

Volltext

Rare earth elemental concentrations in some Pacific Northwest rivers von Keasler, K.M., Loveland, W.D.

Volltext

Neutron-rich rare isotope production from projectile fission of heavy beams in the energy range of 20 MeV/nucleon von Vonta, N, Souliotis, G A, Loveland, W D, Kwon, Y K, Tshoo, K, Jeong, S C, Veselsky, M, Bonasera, A, Botvina, A

Volltext

Radioactive beams — A new application of radioanalytical chemistry von Loveland, W. D.

Volltext

New Superheavy Element Isotopes: Pu 242 ( Ca 48 , 5 n ) 1 285 14 von Ellison, P. A., Gregorich, K. E., Berryman, J. S., Bleuel, D. L., Clark, R. M., Dragojević, I., Dvorak, J., Fallon, P., Fineman-Sotomayor, C., Gates, J. M., Gothe, O. R., Lee, I. Y., Loveland, W. D., McLaughlin, J. P., Paschalis, S., Petri, M., Qian, J., Stavsetra, L., Wiedeking, M., Nitsche, H.

Volltext

A Unifying View of Some Linear Herbrand Procedures von Loveland, D. W.

Volltext

Deleting Repeated Goals in the Problem Reduction Format von Loveland, D. W., Reddy, C. R.

Volltext

Atmospheric trace element concentrations associated with agricultural field burning in the Willamette Valley of Oregon von Shum, Y.S., Loveland, W.D.

Volltext

Performance bounds for binary testing with arbitrary weights von LOVELAND, D. W

Volltext

New superheavy element isotopes: ²⁴²Pu(⁴⁸Ca,5n) ²⁸⁵114 von Ellison, P A, Gregorich, K E, Berryman, J S, Bleuel, D L, Clark, R M, Dragojević, I, Dvorak, J, Fallon, P, Fineman-Sotomayor, C, Gates, J M, Gothe, O R, Lee, I Y, Loveland, W D, McLaughlin, J P, Paschalis, S, Petri, M, Qian, J, Stavsetra, L, Wiedeking, M, Nitsche, H

Volltext

Finding critical sets von Loveland, Donald W.

Volltext

Simplifying interpreted formulas von Loveland, D. W., Shostak, R. E.

Volltext

On indefinite databases and the closed world assumption von Minker, Jack

Volltext

SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy von Loveland, Donald W., Yahya, Adnan H.

Volltext

A variant of the Kolmogorov concept of complexity von Loveland, D.W.

Volltext

A linear format for resolution von Loveland, D. W.

Volltext