Skip to content

Engineering topics

Wos, L.

Publications and source records attributed to Wos, L..

2 records

All sources NASA NTRS DOE OSTI

DOE OSTI2018

Paramodulation and Set of Support

Explore the source record for details and available documents.

Wos, L.↗

DOE OSTI2018

Maximal Models and Refuation Completeness: Semidecision Procedures in Automatic Theorem Proving

Explore the source record for details and available documents.

Wos, L.↗