HomeOwner SearchCategory Search
Visit USCOLogic for computer science foundations of automatic theorem proving By Jean H. Gallier. TX 1-730-446 (1986)
Recorded Documents
Copyright Title
Logic for computer science foundations of automatic theorem proving By Jean H. Gallier. TX 1-730-446 (1986)
Copyright Claimant
Gallier, Jean H
Registration Number
V3499D212
on 12 Jun 2007Copyright Summary
The U.S. Copyright record (Recordation Number: V3499D212) dated 12 Jun 2007, pertains to an electronic file (eService) titled "Logic for computer science foundations of automatic theorem proving By Jean H. Gallier. TX 1-730-446 (1986). The copyright holder is Gallier, Jean H, known for their creative contributions in recorded documents. For any inquiries concerning this copyrighted material, kindly reach out to Gallier, Jean H.
Application Details
Registration Number
V3499D212
Registration Date
6/12/2007
Agency Marc Code
DLC-CO
Record Status
New
© 2024 reserved by Trademarkia
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.