2007

H-L resolution: a semantic refinement of resolution and a theory of model specification title changed to Using sophisticated models in resolution theorem proving By David M. Sandford. (Lecture notes in computer science)

Visit USCO

Recorded Documents

H-L resolution: a semantic refinement of resolution and a theory of model specification title changed to Using sophisticated models in resolution theorem proving By David M. Sandford. (Lecture notes in computer science)

Sandford, David M

Registration Number

V1803P058

on 11 Jun 2007

The U.S. Copyright record (Recordation Number: V1803P058) dated 11 Jun 2007, pertains to an electronic file (eService) titled "H-L resolution: a semantic refinement of resolution and a theory of model specification title changed to Using sophisticated models in resolution theorem proving By David M. Sandford. (Lecture notes in computer science)" created in 0. The copyright holder is Sandford, David M, known for their creative contributions in recorded documents. For any inquiries concerning this copyrighted material, kindly reach out to Sandford, David M.

Sandford, David M

Application Details

Registration Number

V1803P058

Registration Date

6/11/2007

Agency Marc Code

DLC-CO

Record Status

New

Corporate Authors

Springer-Verlag

Notes

Bibliographic Note: H-L resolution: a semantic refinement of resolution and a theory of model specification & 1 other title

Notes

Bibliographic Note: H-L resolution: a semantic refinement of resolution and a theory of model specification & 1 other title

Get your copyright registered todayThousands have copyrighted their assets.
What are you waiting for?

Show terms & conditions

Disclaimer: The information contained in this website is provided for informational purposes only, and should not be construed as legal advice. Although LegalForce RAPC Worldwide P.C., dba Trademarkia P.C., is a law firm (the “Firm”), your use of this website does not establish an attorney-client relationship with the Firm. Such a relationship can only be established after the Firm decides that it is willing and able to accept the engagement after a conflict check and after a written retainer agreement is agreed upon between you and the Firm. Your use of this website is also subject to our Terms of Use and Privacy Policy. ** The entry level subscription is a bundled price which requires a minimum of two billing cycles, or 6 months.