Automated reasoning tool (ART) & 14 other titles; computer software, A NS Cobol: a pragmatic approach



A NS Cobol: a pragmatic approach

Document number:
V1991P282
Date of Recordation:
June 25, 1984
Entire Copyright Document:
V1991P282 (Single page document)
Date of Execution:
June 21, 1984
Registration Number Not Verified:
A623765 (1975)
Title:
A NS Cobol: a pragmatic approach / By W. E. Singletary & Ross A. Overbeek. A623765 (1975)
Notes:
Assignment of rights.
Names:
Inc. McGraw-Hill (614 documents)
example document: Plant and soil water relationships & 1 other title

Copyrights records by McGraw-Hill, Inc.

W. E. Singletary
Ross A. Overbeek (4 documents)
example document: ANS COBOL: a pragmatic approach

Copyrights records by Overbeek, Ross A.

W. E. Singletary & Ross A. Overbeek.

Automated reasoning

Document number:
V3046P168
Date of Recordation:
October 28, 1994
Entire Copyright Document:
V3046P168 (Single page document)
Date of Execution:
June 9, 1994
Registration Number Not Verified:
TXu 295-218.
Title:
Automated reasoning / By Lawrence Wos. TXu 295-218.
Notes:
Assignment of copyright.
Names:
Prentice-Hall, Inc., a division of Simon and Schuster. (11 documents)
example document: Early childhood education

Copyrights records by Prentice-Hall, Inc., a division of Simon and Schuster.

Lawrence Wos (1 documents)
example document: Automated reasoning: introduction and applications
Lawrence Wos.
Prentice-Hall, Inc. (10137 documents)
example document: Organization theory

Copyrights records by Prentice-Hall, Inc.

Simon and Schuster. Prentice-Hall, Inc. (425 documents)
example document: Probability and stochastic processes

Copyrights records by Simon and Schuster. Prentice-Hall, Inc.

Automated reasoning tool (ART) & 14 other titles; computer software

Document number:
V3446D032
Date of Recordation:
April 13, 2000
Entire Copyright Document:
V3446 D32 P1-23
Date of Execution:
December 31, 1969
Title:
Automated reasoning tool (ART) & 14 other titles; computer software.
Notes:
ART family license agreement.
Names:
Inc. Brightware

Copyrights records by Brightware, Inc.

Mindbox, Inc.

Copyrights records by Mindbox, Inc.

Automated reasoning tool (ART)

Document number:
V3446D032
Date of Recordation:
April 13, 2000
Entire Copyright Document:
V3446 D32 P1-23
Title:
Automated reasoning tool (ART)
Title appears in Document:
Automated reasoning tool (ART) & 14 other titles; computer software.

Automated reasoning: introduction and applications

Document number:
V3428D426
Date of Recordation:
January 28, 1999
Entire Copyright Document:
V3428 D426 P1
Date of Execution:
May 6, 1998
Registration Number Not Verified:
TX 3-284-890 (1992)
Title:
Automated reasoning: introduction and applications / By Larry Wos, Ross Overbeek & Jim Boyle. 2nd ed. TX 3-284-890 (1992)
Notes:
Assignment of rights.
Names:
Inc. McGraw-Hill Companies (675 documents)
example document: Supervisory management and communication & 3 other titles

Copyrights records by McGraw-Hill Companies, Inc.

Larry Wos
Ross Overbeek (3 documents)
example document: Automated reasoning: introduction and applications
Ewing Lusk

Copyrights records by Lusk, Ewing

Jim Boyle
Larry Wos, Ross Overbeek, Ewing Lusk & Jim Boyle.

Data base logical design

Type of Work:
Multimedia kit
Registration Number / Date:
PA0000063529 / 1979-12-19
Date of Publication:
October 20, 1979
Date of Creation:
1979
Title:
Data base logical design : [no.] 24-3XX / produced by Deltak ; in cooperation with Ross Overbeek and Bruce Parello.
Copyright Note:
C.O. correspondence.
Imprint:
[s.l.] : Deltak, c1979.
Description:
5 videocassettes, 1 tutorial guide, 5 sound cassettes, 5 student texts.
Variant title:
Data base logical design : [no.] 24-3XX
Copyright Claimant:
Deltak, Inc.
Notes:
Sound cassettes in texts.
Deposit includes description (6 p.)
Authorship on Application:
Deltak, Inc., employer for hire.
Names:
Ross Overbeek (3 documents)
example document: Automated reasoning: introduction and applications
Bruce Parello
Deltak, Inc.

Copyrights records by Deltak, Inc.

Automated reasoning

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001299228 / 1984-03-16
Date of Publication:
February 9, 1984
Date of Creation:
1983
Title:
Automated reasoning : introduction and applications / Larry Wos, Ross Overbeek, Ewing Lusk, Jim Boyle.
Imprint:
Englewood Cliffs, N. J. : Prentice-Hall, c1984.
Description:
482 p.
Copyright Claimant:
Prentice-Hall, Inc.
Names:
Larry Wos 1949-
Ross Overbeek 1949-
Ewing Lusk 1943-
Jim Boyle 1942-
Prentice-Hall, Inc. (10137 documents)
example document: Manufacturing processes

Assembler language with ASSIST

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001312950 / 1984-03-21
Date of Publication:
March 2, 1983
Date of Creation:
1983
Title:
Assembler language with ASSIST : text and instructor's guide.
Edition:
2d ed.
Basis of Claim:
New Matter: instructor's guide & additional text & editorial revisions to the textbook.
Previous Registration:
Text prev. reg. 1976, A783401.
Copyright Claimant:
Science Research Associates, Inc.
Notes:
Cataloged from appl. only.
Authorship on Application:
Ross A. Overbeek & Wilson E. Singletary.
Names:
Ross A. Overbeek 1949-
Wilson E. Singletary 1926-
Science Research Associates, Inc. (1008 documents)
example document: Comprehension skills

Copyrights records by Science Research Associates, Inc.

Study guide to accompany Introduction to Cobol

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001743142 / 1986-01-21
Date of Publication:
January 6, 1986
Date of Creation:
1985
Title:
Study guide to accompany Introduction to Cobol : a primer and programming guide, by Ross A. Overbeek and W. E. Singletary / prepared by Catherine Garrison.
Imprint:
Reading, Mass. : Addison-Wesley Pub. Co., c1986.
Description:
281 p.
Variant title:
Study guide to accompany Introduction to Cobol : a primer and programming guide
Other Title:
Introduction to Cobol : a primer and programing guide
Copyright Claimant:
Addison-Wesley Publishing Company, Inc.
Names:
Ross A. Overbeek
W. E. Singletary
Catherine Garrison (6 documents)
example document: Multimate

Copyrights records by Garrison, Catherine

Addison-Wesley Publishing Company, Inc. (3230 documents)
example document: Mathematics in our world

Copyrights records by Addison-Wesley Publishing Company, Inc.

Introduction to Cobol

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001743578 / 1986-01-21
Date of Publication:
January 6, 1986
Date of Creation:
1985
Title:
Introduction to Cobol : a primer and programming guide / Ross A. Overbeek, W. E. Singletary [i.e. Wilson E. Singletary].
Imprint:
Reading, Mass. : Addison-Wesley Pub. Co., c1986.
Description:
395 p.
Copyright Claimant:
Addison-Wesley Publishing Company, Inc.
Authorship on Application:
ill.: Addison-Wesley Publishing Company, employer for hire.
Names:
Ross A. Overbeek (4 documents)
example document: ANS COBOL: a pragmatic approach
Wilson E. Singletary (1 documents)
example document: ANS COBOL: a pragmatic approach
Addison-Wesley Publishing Company, Inc. (3230 documents)
example document: Management

Assembler language with ASSIST and ASSIST/I

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002329354 / 1988-04-25
Date of Publication:
February 14, 1988
Date of Creation:
1986
Title:
Assembler language with ASSIST and ASSIST/I / Ross A. Overbeek, W. E. Singletary.
Edition:
3rd ed.
Basis of Claim:
New Matter: "additional text, editorial revisions."
Previous Registration:
Prev. reg. 1983, TX 1-312-950.
Imprint:
Chicago : SRA, c1986.
Description:
539 p.
Copyright Claimant:
Science Research Associates, Inc.
Names:
Ross A. 1949- Overbeek
W. E. 1926- Singletary
Science Research Associates, Inc. (1008 documents)
example document: SRA mathematics practice for skills

Assembler language with ASSIST and ASSIST/I

Type of Work:
Machine-readable work or computer program
Registration Number / Date:
TX0002943405 / 1990-10-24
Date of Publication:
October 15, 1990
Date of Creation:
1990
Title:
Assembler language with ASSIST and ASSIST/I / Ross A. Overbeek , W. A. Singletary.
Edition:
4th ed.
Basis of Claim:
New Matter: additions & revisions.
Previous Registration:
Prev. reg. 1986.
Description:
1 v. + magnetic disk.
Copyright Claimant:
Macmillan Publishing Company, a division of Macmillan, Inc.
Notes:
Includes computer program.
Names:
Ross A. Overbeek
W. A. Singletary
Macmillan, Inc. Macmillan Publishing Company (1679 documents)
example document: Moving forward with literature

Copyrights records by Macmillan, Inc. Macmillan Publishing Company

Automated reasoning about machines

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003051091 / 1991-04-01
Date of Publication:
January 15, 1991
Date of Creation:
1990
Date in Notice:
notice: 1990
Title:
Automated reasoning about machines / Andrew Harris Gelsey.
Description:
microfiche.
Copyright Claimant:
Andrew Harris Gelsey
Names:
Andrew Harris Gelsey 1959-

Automated reasoning about chemical plants from first ...

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003188277 / 1991-10-07
Date of Publication:
June 17, 1991
Date of Creation:
1990
Date in Notice:
notice: 1990
Title:
Automated reasoning about chemical plants from first ... / Stephen Derek Grantham.
Description:
microfiche.
Copyright Claimant:
Stephen Derek Grantham
Names:
Stephen Derek Grantham 1963-

Automated reasoning

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003284890 / 1992-04-06
Date of Publication:
February 7, 1992
Date of Creation:
1991
Title:
Automated reasoning : introduction and applications / Larry Wos, Ross Overbeek, Ewing Lusk, Jim Boyle.
Edition:
2nd ed.
Basis of Claim:
New Matter: "editorial revisions and new material."
Previous Registration:
Prev. reg.
Variant title:
Automated reasoning : introduction and applications
Copyright Claimant:
McGraw-Hill, Inc.
Names:
Larry Wos
Ross Overbeek (3 documents)
example document: Automated reasoning: introduction and applications
Ewing Lusk
Jim Boyle
McGraw-Hill, Inc. (7481 documents)
example document: Performance guide for Understanding business and consumer law, sixth edition

Using MPI

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003979376 / 1995-01-20
Date of Publication:
November 8, 1994
Date of Creation:
1994
Title:
Using MPI : portable parallel programming with the message-passing interface / William Gropp, Ewing Lusk, Anthony Skjellum.
Series:
Scientific and engineering computation
Imprint:
Cambridge, MA : MIT Press, c1994.
Description:
307 p.
Other Title:
Scientific and engineering computation
Copyright Claimant:
Massachusetts Institute of Technology
Names:
William Gropp
Ewing Lusk
Anthony Skjellum
Massachusetts Institute of Technology (1284 documents)
example document: Studies in business-cycle theory

Copyrights records by Massachusetts Institute of Technology

Automated reasoning and its applications

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004509478 / 1997-07-28
Date of Publication:
July 1, 1997
Date of Creation:
1997
Title:
Automated reasoning and its applications : essays in honor of Larry Wos / edited by Robert Veroff with Gail W. Pieper.
Imprint:
Cambridge, MA : MIT Press, c1997.
Description:
247 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Robert Veroff (3 documents)
example document: Data abstraction and problem solving with C++

Copyrights records by Veroff, Robert

Gail W. Pieper
Massachusetts Institute of Technology (1284 documents)
example document: Dyslexia

IMS/ESA sysplex data sharing

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004834017 / 1998-08-10
Date of Publication:
August 1, 1997
Date of Creation:
1997
Title:
IMS/ESA sysplex data sharing : an implementation case study / Jim Boyle, Alison Coughtrie, Jean-Pierre DeVilliers, Steve Heisig, Gary Wicks, Geoff Nicholls, Attila Fogarasi.
Edition:
1st ed.
Description:
135 p.
Variant title:
IMS/ESA sysplex data sharing : an implementation case study
Copyright Claimant:
International Business Machines Corporation a.a.d.: IBM Corporation
Notes:
At head of ti.: International Technical Support Organization.
Authorship on Application:
International Business Machines Corporation.
Names:
Alison Coughtrie (1 documents)
example document: IMS/ESA data sharing in a parallel sysplex
Jean-Pierre DeVilliers
Steve Heisig
Gary Wicks (2 documents)
example document: IMS/ESA data sharing in a parallel sysplex
Geoff Nicholls (9 documents)
example document: Connecting IMS to the World Wide Web

Copyrights records by Nicholls, Geoff

Attila Fogarasi
Jim Boyle
International Technical Support Organization (199 documents)
example document: Understanding and using MSS release 1.1

Copyrights records by International Technical Support Organization

International Business Machines Corporation (34378 documents)
example document: IBM 3790 communication system

Copyrights records by International Business Machines Corporation

IBM Corporation (11732 documents)
example document: Resource access control facility external security interface (RACROUTE) macro reference for MVS and VM

Copyrights records by IBM Corporation

Using MPI-2

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005119935 / 1999-12-23
Date of Publication:
November 22, 1999
Date of Creation:
1999
Title:
Using MPI-2 : advanced features of the message-passing interface / William Gropp, Ewing Lusk, Rajeev Thakur.
Series:
Scientific and engineering computation
Imprint:
Cambridge, MA : MIT Press, c1999.
Description:
382 p.
Variant title:
Using MPI-2 : advanced features of the message-passing interface
Other Title:
Scientific and engineering computation
Copyright Claimant:
Massachusetts Institute of Technology
Names:
William Gropp
Ewing Lusk
Rajeev Thakur
Massachusetts Institute of Technology (1284 documents)
example document: John VonNeumann and the origins of modern computing

MPI

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005121965 / 1999-12-23
Date of Publication:
October 11, 1998
Date of Creation:
1998
Title:
MPI : the complete reference : vol. 2, The MPI extensions / William Gropp, Steven Huss-Lederman, Andrew Lumsdaine, Ewing Lusk, Bill Nitzberg, William Saphir, Marc Snir.
Basis of Claim:
New Matter: compilation, revisions, additions.
Series:
Scientific and engineering computation
Imprint:
Cambridge, MA : MIT Press, c1998.
Description:
344 p.
Variant title:
MPI : the complete reference : vol. 2
Other Title:
The MPI extensions
Scientific and engineering computation
Copyright Claimant:
Massachusetts Institute of Technology
Names:
William Gropp
Steven Huss-Lederman (1 documents)
example document: MPI--the complete resource
Andrew Lumsdaine
Ewing Lusk
Bill Nitzberg
William Saphir
Marc Snir (1 documents)
example document: MPI--the complete resource
Steven Huss Lederman (1 documents)
example document: MPI--the complete resource
Massachusetts Institute of Technology (1284 documents)
example document: Natural and artificial parallel computation

The automation of reasoning

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005131994 / 2000-06-21
Date of Publication:
October 18, 1996
Date of Creation:
1996
Title:
The automation of reasoning : an experimenter's notebook with OTTER tutorial / Larry Wos.
Previous Registration:
Appl. states authorship excludes material on computer disk.
Imprint:
San Diego : Academic Press, c1996.
Description:
434 p. + computer disk.
Copyright Claimant:
Academic Press
Notes:
Includes OTTER 3.0.4 tutorial disk.
Names:
Larry Wos
Academic Press (364 documents)
example document: Interrelationships of fishes

Copyrights records by Academic Press

Using MPI

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005133114 / 1999-12-23
Date of Publication:
December 5, 1999
Date of Creation:
1999
Title:
Using MPI : portable parallel programming with the message-passing interface / William Gropp, Ewing Lusk, Anthony Skjellum.
Edition:
2nd ed.
Basis of Claim:
New Matter: revisions, new text.
Previous Registration:
Prev. reg. 1994.
Series:
Scientific and engineering computation
Imprint:
Cambridge, MA : MIT Press, c1999.
Description:
371 p.
Other Title:
Scientific and engineering computation
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Anthony Skjellum
William Gropp
Ewing Lusk
Massachusetts Institute of Technology (1284 documents)
example document: The Computational complexity of machine learning

IMS version 7 release guide

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005269783 / 2001-01-08
Date of Publication:
September 1, 2000
Date of Creation:
2000
Title:
IMS version 7 release guide / Rick Long, Pete Berry, Jim Boyle, Ricardo Rallo.
Edition:
1st ed.
Series:
Redbooks
Description:
171 p.
Copyright Claimant:
International Business Machines Corporation a.a.d: IBM Corporation
Authorship on Application:
International Business Machines Corporation.
Names:
Rick Long (4 documents)
example document: Works of Rick Long, Shelley Long, David Stallings & Bud Long

Copyrights records by Long, Rick

Jim Boyle
Ricardo Rallo
Pete Berry (1 documents)
example document: Don't point your finger
International Business Machines Corporation (34378 documents)
example document: IBM 3270 information display system custom feature description I B M MCST to I B M 3277 ... (RPQ 8 K0618)
IBM Corporation (11732 documents)
example document: System modification program extended reference summary

Beowulf cluster computing with Linux

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005994581 / 2004-06-28
Date of Publication:
December 19, 2003
Date of Creation:
2003
Title:
Beowulf cluster computing with Linux / edited by William Gropp, Ewing Lusk and Thomas Sterling.
Edition:
2nd ed.
Basis of Claim:
New Matter: revisions & additions.
Imprint:
Cambridge, MA : MIT Press, c2003.
Description:
618 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
William Gropp
Ewing Lusk
Thomas Sterling (10 documents)
example document: The Evil of the day. By Thomas Sterling
Massachusetts Institute of Technology (1284 documents)
example document: Out there

Automated reasoning

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TXu000295218 / 1987-09-08
Date of Creation:
1987
Title:
Automated reasoning : 33 basic research problems / Larry Wos.
Description:
319 p.
Variant title:
Automated reasoning : 33 basic research problems
Copyright Claimant:
Prentice-Hall, Inc., a division of Simon & Schuster
Names:
Larry Wos 1930-
Simon & Schuster. Prentice-Hall, Inc. (1072 documents)
example document: Paradox

Copyrights records by Simon & Schuster. Prentice-Hall, Inc.

This website is not affiliated with document authors or copyright owners. This page is provided for informational purposes only. Unintentional errors are possible. Multiple persons can share the same name.