Trace theory for automatic hierarchical verification of speed-independent circuits part 2



A Few good men from Univac

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002188651 / 1987-12-03
Date of Publication:
August 7, 1987
Date of Creation:
1986
Title:
A Few good men from Univac / David E. Lundstrom.
Imprint:
Cambridge, Mass. : MIT Press, c1987.
Description:
227 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
David E. Lundstrom
Massachusetts Institute of Technology (3583 documents)
example document: Innovation

Copyrights records by Massachusetts Institute of Technology

Psychosemantics

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002188654 / 1987-12-03
Date of Publication:
July 4, 1987
Date of Creation:
1986
Title:
Psychosemantics : the problem of meaning in the philosophy of mind / Jerry A. Fodor.
Imprint:
Cambridge, Mass. : MIT Press, c1987.
Description:
171 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Jerry A. Fodor

Copyrights records by Fodor, Jerry A.

Massachusetts Institute of Technology (3583 documents)
example document: Housing investment in the inner city: the dynamics of decline

On being and saying

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002188788 / 1987-12-04
Date of Publication:
November 7, 1987
Date of Creation:
1986
Title:
On being and saying : essays for Richard Cartwright / edited by Judith Jarvis Thomson.
Imprint:
Cambridge, Mass. : MIT Press, c1987.
Description:
293 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Judith Jarvis Thomson (3 documents)
example document: Goodness and advice
Massachusetts Institute of Technology (3583 documents)
example document: Hematology

The Latest on the best

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002190632 / 1987-12-04
Date of Publication:
August 30, 1987
Date of Creation:
1986
Title:
The Latest on the best : essays on evolution and optimality / edited by John Dupre.
Imprint:
Cambridge, Mass. : MIT Press, c1987.
Description:
359 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
John Dupre
Massachusetts Institute of Technology (3583 documents)
example document: Interpretations of poetry and religion

Remnants of meaning

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002190724 / 1987-12-04
Date of Publication:
August 7, 1987
Date of Creation:
1986
Title:
Remnants of meaning / Stephen Schiffer.
Imprint:
Cambridge, Mass. : MIT Press, c1987.
Description:
303 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Stephen R. Schiffer
Massachusetts Institute of Technology (3583 documents)
example document: The Society of text

Knowledge-based tutoring

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002190837 / 1987-12-03
Date of Publication:
August 28, 1987
Date of Creation:
1986
Title:
Knowledge-based tutoring : the guidon program / William J. Clancey.
Imprint:
Cambridge, Mass. : MIT Press, c1987.
Description:
377 p.
Variant title:
Knowledge-based tutoring : the guidon program
Copyright Claimant:
Massachusetts Institute of Technology
Names:
William J. Clancey (4 documents)
example document: Artificial intelligence and learning environments

Copyrights records by Clancey, William J.

Massachusetts Institute of Technology (3583 documents)
example document: Isaac Newton's natural philosophy

Designing Paris

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002190898 / 1987-12-04
Date of Publication:
November 5, 1987
Date of Creation:
1986
Title:
Designing Paris : the architechture of Duban, Labrouste, Duc, and Vaudoyer / David VanZanten.
Imprint:
Cambridge, Mass. : MIT Press, c1987.
Description:
338 p.
Variant title:
Designing Paris : the architechture of Duban, Labrouste, Duc, and Vaudoyer
Copyright Claimant:
Massachusetts Institute of Technology
Names:
David VanZanten 1943-
Massachusetts Institute of Technology (3583 documents)
example document: Computer science logo style

Kelvin's Baltimore lectures and modern theoretical physics

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002190909 / 1987-12-04
Date of Publication:
October 16, 1987
Date of Creation:
1986
Title:
Kelvin's Baltimore lectures and modern theoretical physics : historical and philosophical perspectives / [William Thomson Kelvin] ; edited by Robert Kargon and Peter Achinstein.
Basis of Claim:
New Matter: editing, additions, pref. & introd.
Previous Registration:
Lectures prev. pub. 1904 as The Baltimore lectures on molecular dynamics and the wave theory of light.
Imprint:
Cambridge, Mass. : MIT Press, c1987.
Description:
547 p.
Other Title:
The Baltimore lectures on molecular dynamics and the wave theory of light
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Robert Kargon (2 documents)
example document: Meltdown
Peter Achinstein (6 documents)
example document: Observation, experiment, and hypothesis in modern physical science

Copyrights records by Achinstein, Peter

Kelvin, William Thomson, Baron, 1824-1907
Massachusetts Institute of Technology (3583 documents)
example document: Getting started

Modularity in knowledge representation and natural-language understanding

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002191129 / 1987-12-04
Date of Publication:
October 2, 1987
Date of Creation:
1986
Title:
Modularity in knowledge representation and natural-language understanding / edited by Jay L. Garfield.
Imprint:
Cambridge, Mass. : MIT Press, c1987.
Description:
427 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Jay L. Garfield 1955-
Massachusetts Institute of Technology (3583 documents)
example document: Neural networks for vision and image processing

Prospects for peacemaking

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002191142 / 1987-12-04
Date of Publication:
October 2, 1987
Date of Creation:
1986
Title:
Prospects for peacemaking / a citizen's guide to safer nuclear strategy / edited by Harlan Cleveland and Lincoln P. Bloomfield.
Imprint:
Cambridge, Mass. : MIT Press, c1987.
Description:
159 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Harlan Cleveland (16 documents)
example document: Basic human needs

Copyrights records by Cleveland, Harlan

Lincoln Palmer Bloomfield (2 documents)
example document: Evolution or revolution? The United Nations and the problem of peaceful territorial change. By Lincoln Palmer Bloomfield
Massachusetts Institute of Technology (3583 documents)
example document: Economic growth

Research directions in object-oriented programming

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002191539 / 1987-12-04
Date of Publication:
November 11, 1987
Date of Creation:
1986
Title:
Research directions in object-oriented programming / edited by Bruce Shriver and Peter Wegner.
Imprint:
Cambridge, Mass. : MIT Press, c1987.
Description:
585 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Peter Wegner (2 documents)
example document: Research directions in software technology

Copyrights records by Wegner, Peter

Bruce D. Shriver 1940-
Massachusetts Institute of Technology (3583 documents)
example document: Living standards and the wealth of nations

AI in the 1980s and beyond

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002203591 / 1987-12-07
Date of Publication:
August 2, 1987
Date of Creation:
1986
Title:
AI in the 1980s and beyond : an M I T survey / edited by W. Eric L. Grimson and Ramesh S. Patil.
Imprint:
Cambridge, Mass. : MIT Press, c1987.
Description:
374 p.
Number of similar titles:
1
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Ramesh S. Patil
William Eric Leifur Grimson

Copyrights records by Grimson, William Eric Leifur

W. Eric. L. Grimson
Massachusetts Institute of Technology (3583 documents)
example document: Language

Expanding protons

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002203779 / 1987-12-07
Date of Publication:
November 23, 1987
Date of Creation:
1986
Title:
Expanding protons : scattering at high energies / Hung Cheng and Tai Tsun Wu.
Imprint:
Cambridge, Mass. : MIT Press, c1987.
Description:
285 p.
Variant title:
Expanding protons : scattering at high energies
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Hung Cheng
Tai Tsun Wu (2 documents)
example document: Antennas in matter

Copyrights records by Wu, Tai Tsun

Massachusetts Institute of Technology (3583 documents)
example document: Control

Simulating computer systems

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002205707 / 1987-12-04
Date of Publication:
August 17, 1987
Date of Creation:
1986
Title:
Simulating computer systems : techniques and tools / M. H. MacDougall.
Imprint:
Cambridge, Mass. : MIT Press, c1987.
Description:
292 p.
Variant title:
Simulating computer systems : techniques and tools
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Myron H. MacDougall
Massachusetts Institute of Technology (3583 documents)
example document: Enabling technologies for Petaflops computing

The Sphere and the labyrinth

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002205780 / 1987-12-04
Date of Publication:
October 2, 1987
Date of Creation:
1986
Title:
The Sphere and the labyrinth : avant-gardes and architecture from Piranesi to the 1970s / Manfredo Tafuri ; translated by Pellegrino D'Acierno and Robert Connolly.
Basis of Claim:
New Matter: "English translation."
Previous Registration:
Prev. pub. 1970 in Italian as La Sfera e il labirinto: avanguardie e architettura da Piranesi agli anni.
Imprint:
Cambridge, Mass. : MIT Press, c1987.
Description:
382 p.
Variant title:
The Sphere and the labyrinth : avant-gardes and architecture from Piranesi to the 1970s
Other Title:
La Sfera e il labirinto: avanguardie e architettura da Piranesi agli anni
Copyright Claimant:
Massachusetts Institute of Technology
Authorship on Application:
English translation: M I T, employer for hire.
Names:
Manfredo Tafuri (6 documents)
example document: Modern architecture

Copyrights records by Tafuri, Manfredo

Pellegrino D'Acierno

Copyrights records by D'Acierno, Pellegrino

Robert Connolly (4 documents)
example document: National Geographic magazine

Copyrights records by Connolly, Robert

Massachusetts Institute of Technology (3583 documents)
example document: Credit reporting systems and the international economy

Concurrent prolog

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002207749 / 1987-12-29
Date of Publication:
December 15, 1987
Date of Creation:
1986
Title:
Concurrent prolog : collected papers, vol. 1 / edited by Ehud Shapiro ; with a foreword by Kazuhiro Fuchi.
Imprint:
Cambridge, Mass. : MIT Press, c1987.
Description:
525 p.
Number of similar titles:
1
Variant title:
Concurrent prolog : collected papers, vol. 1
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Ehud Shapiro (5 documents)
example document: The art of Prolog

Copyrights records by Shapiro, Ehud

Kazuhiro Fuchi
Massachusetts Institute of Technology (3583 documents)
example document: Productivity and American leadership

Concurrent prolog

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002207976 / 1987-12-29
Date of Publication:
December 15, 1987
Date of Creation:
1986
Title:
Concurrent prolog : collected papers : v. 2 / edited by Ehud Shapiro.
Series:
MIT Press series in logic programming
Imprint:
Cambridge, Mass. : MIT Press, c1987.
Description:
653 p.
Number of similar titles:
1
Variant title:
Concurrent prolog : collected papers : v. 2
Other Title:
M I T Press series in logic programming
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Ehud Shapiro (5 documents)
example document: The art of Prolog
Massachusetts Institute of Technology (3583 documents)
example document: The computer contradictionary

Empirical methods for international trade

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002214349 / 1988-01-04
Date of Publication:
January 1, 1988
Date of Creation:
1987
Title:
Empirical methods for international trade / edited by Robert C. Feenstra.
Imprint:
Cambridge, Mass. : MIT Press, c1988.
Description:
322 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Robert C. Feenstra (7 documents)
example document: The impact of international trade on wages

Copyrights records by Feenstra, Robert C.

Massachusetts Institute of Technology (3583 documents)
example document: Rings

Memoir of the life and labours of the late Charles Babbage Esq., F. R. S.

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002232805 / 1988-01-22
Date of Publication:
January 1, 1988
Date of Creation:
1987
Title:
Memoir of the life and labours of the late Charles Babbage Esq., F. R. S. / H. W. Buxton ; edited with an introd. by Anthony Hyman.
Series:
Charles Babbage Institute reprint series for the history of computing ; v. 13
Imprint:
Cambridge, Mass. : MIT Press, c1987.
Description:
401 p.
Other Title:
Charles Babbage Institute reprint series for the history of computing ; v. 13
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Anthony Hyman
Harry Wilmot Buxton
H. W. Buxton
Massachusetts Institute of Technology (3583 documents)
example document: Essentials of programming languages

A Commonsense approach to the theory of error correcting codes

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002232930 / 1988-01-22
Date of Publication:
January 6, 1988
Date of Creation:
1987
Title:
A Commonsense approach to the theory of error correcting codes / Benjamin Arazi.
Series:
MIT Press series in computer systems
Imprint:
Cambridge, Mass. : MIT Press, c1988.
Description:
208 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Benjamin Arazi
Massachusetts Institute of Technology (3583 documents)
example document: Legalization and world politics

Perceptrons

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002233117 / 1988-01-22
Date of Publication:
January 1, 1988
Date of Creation:
1987
Title:
Perceptrons : an introduction to computational geometry / Marvin Minsky and Seymour Papert.
Edition:
Expanded ed.
Basis of Claim:
New Matter: "prologue, introduction, and epilogue."
Previous Registration:
Prev. reg. 1969, TX 54-561.
Imprint:
Cambridge, Mass. : MIT Press, c1988.
Description:
292 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Marvin Lee Minsky 1927-
Seymour A. Papert
Massachusetts Institute of Technology (3583 documents)
example document: The rise of China

Georges Bank

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002233483 / 1988-02-03
Date of Publication:
December 11, 1987
Date of Creation:
1986
Title:
Georges Bank / Richard H. Backus, editor-in-chief ; Donald W. Bourne, associate editor.
Imprint:
Cambridge, Mass. : MIT Press, c1987.
Description:
593 p. + insert map.
Number of similar titles:
1
Similar Title:
Georges Bank
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Richard H. Backus
Donald W. Bourne
Massachusetts Institute of Technology (3583 documents)
example document: The Gordian knot

The Workplace within

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002253329 / 1988-02-25
Date of Publication:
January 26, 1988
Date of Creation:
1987
Title:
The Workplace within : psychodynamics of organizational life / Larry Hirschhorn.
Series:
MIT Press series on organization studies ; 8
Imprint:
Cambridge, Mass. : MIT Press, c1988.
Description:
265 p.
Other Title:
M I T Press series on organization studies ; 8
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Larry Hirschhorn (7 documents)
example document: Co-ops, communes & collectives

Copyrights records by Hirschhorn, Larry

Massachusetts Institute of Technology (3583 documents)
example document: Comparing financial systems

Louis H. Sullivan

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002258919 / 1987-12-07
Date of Publication:
November 26, 1987
Date of Creation:
1986
Title:
Louis H. Sullivan : the banks / Lauren S. Weingarden.
Imprint:
Cambridge : Massachusetts Institute of Technology, c1987.
Description:
144 p.
Number of similar titles:
1
Similar Title:
Louis H. Sullivan architectural ornament collection, Southern Illinois University at Edwardsville
Variant title:
Louis H. Sullivan : the banks
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Lauren S. Weingarden 1948-
Massachusetts Institute of Technology (3583 documents)
example document: Life support

Belief in psychology

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002289542 / 1988-04-12
Date of Publication:
March 1, 1988
Date of Creation:
1987
Title:
Belief in psychology : a study in the ontology of mind / Jay L. Garfield.
Imprint:
Cambridge, Mass. : MIT Press, c1988.
Description:
168 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Jay L. Garfield 1955-
Massachusetts Institute of Technology (3583 documents)
example document: The world trading system

Principles of operating systems

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002301673 / 1988-05-06
Date of Publication:
April 19, 1988
Date of Creation:
1987
Title:
Principles of operating systems / Sacha Krakowiak ; translated by David Beeson.
Basis of Claim:
New Matter: "English translation."
Imprint:
Cambridge, Mass. : MIT Press, c1988.
Description:
469 p.
Other Title:
Principes des systemes d'exploitation des ordinateurs
Copyright Claimant:
Massachusetts Institute of Technology
Notes:
Original ed. pub. under the ti.: Principes des systemes d'exploitation des ordinateurs.
Authorship on Application:
English translation: Massachusetts Institute of Technology, employer for hire.
Names:
Sacha Krakowiak
David Beeson (2 documents)
example document: Work of social disgrace
Massachusetts Institute of Technology (3583 documents)
example document: Placing words

A General theory of equilibrium selection in games

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002347536 / 1988-07-06
Date of Publication:
June 29, 1988
Date of Creation:
1987
Title:
A General theory of equilibrium selection in games / John C. Harsanyi and Reinhard Selten.
Imprint:
Cambridge, Mass. : MIT Press, c1988.
Description:
378 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
John C. Harsanyi
Reinhard Selten
Massachusetts Institute of Technology (3583 documents)
example document: Econometric analysis of cross section and panel data

The Role of behavior in evolution

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002347538 / 1988-07-06
Date of Publication:
June 14, 1988
Date of Creation:
1987
Title:
The Role of behavior in evolution / edited by H. C. Plotkin.
Imprint:
Cambridge, Mass. : MIT Press, c1988.
Description:
198 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Henry C. Plotkin
Massachusetts Institute of Technology (3583 documents)
example document: Brain, vision, memory

The Complexity of robot motion planning

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002350718 / 1988-07-06
Date of Publication:
June 28, 1988
Date of Creation:
1987
Title:
The Complexity of robot motion planning / John Canny.
Imprint:
Cambridge, Mass. : MIT Press, c1988.
Description:
195 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
John F. Canny
Massachusetts Institute of Technology (3583 documents)
example document: Soviet military policy

Visual modeling with Logo

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002350723 / 1988-07-06
Date of Publication:
June 10, 1988
Date of Creation:
1987
Title:
Visual modeling with Logo : a structural approach to seeing / James Clayson.
Imprint:
Cambridge, Mass. : MIT Press, c1988.
Description:
393 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
James Clayson
Massachusetts Institute of Technology (3583 documents)
example document: The State and American foreign economic policy
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.