AAAAAA

   
Results: 1-4 |
Results: 4
THE THEORETICAL FOUNDATIONS OF LPTP (A LOGIC PROGRAM THEOREM PROVER)
Authors: STARK RF
Citation: Rf. Stark, THE THEORETICAL FOUNDATIONS OF LPTP (A LOGIC PROGRAM THEOREM PROVER), The journal of logic programming, 36(3), 1998, pp. 241-269
SURFACE DISPLACEMENTS OF A NONHOMOGENEOUS ELASTIC HALF-SPACE SUBJECTED TO UNIFORM SURFACE TRACTION .1. LOADING ON ARBITRARILY-SHAPED AREAS
Authors: STARK RF BOOKER JR
Citation: Rf. Stark et Jr. Booker, SURFACE DISPLACEMENTS OF A NONHOMOGENEOUS ELASTIC HALF-SPACE SUBJECTED TO UNIFORM SURFACE TRACTION .1. LOADING ON ARBITRARILY-SHAPED AREAS, International journal for numerical and analytical methods in geomechanics, 21(6), 1997, pp. 361-378
SURFACE DISPLACEMENTS OF A NONHOMOGENEOUS ELASTIC HALF-SPACE SUBJECTED TO UNIFORM SURFACE TRACTION .2. LOADING ON RECTANGULAR SHAPED AREAS
Authors: STARK RF BOOKER JR
Citation: Rf. Stark et Jr. Booker, SURFACE DISPLACEMENTS OF A NONHOMOGENEOUS ELASTIC HALF-SPACE SUBJECTED TO UNIFORM SURFACE TRACTION .2. LOADING ON RECTANGULAR SHAPED AREAS, International journal for numerical and analytical methods in geomechanics, 21(6), 1997, pp. 379-395
MULTIVALUED AUTOEPISTEMIC LOGIC
Authors: STARK RF
Citation: Rf. Stark, MULTIVALUED AUTOEPISTEMIC LOGIC, Annals of mathematics and artificial intelligence, 18(2-4), 1996, pp. 159-174
Risultati: 1-4 |