Text Registration
Copyright Title
First-order dynamic logic David Harel
Status
Published
on 14 Jun 2007
Year of Creation
1979
Copyright Claimant
Springer-Verlag
Registration Number
TX0000302186
on 14 Jun 2007Copyright Summary
The U.S. Copyright record (Registration Number: TX0000302186) dated 14 Jun 2007, pertains to an electronic file (eService) titled "First-order dynamic logic David Harel" created in 1979. The copyright holder is Springer-Verlag, known for their creative contributions in text registration. For any inquiries concerning this copyrighted material, kindly reach out to Springer-Verlag.
Application Details
Registration Number
TX0000302186
Registration Date
6/14/2007
Year of Creation
1979
Place of First Publication
New York
Publisher Name
Springer-Verlag
Agency Marc Code
DLC-CO
Record Status
New
Physical Description
133 p
Series Statement
Lecture notes in computer science v. 68
ISBN
3540092374
© 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.