The IEEE Computer society's 12th annual international symposium on modeling, analysis, and simulation of computer and telecommunications systems part 2



Logic programming

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001817462 / 1986-04-09
Date of Publication:
March 21, 1986
Date of Creation:
1985
Title:
Logic programming : functions, relations, and equations.
Basis of Claim:
New Matter: additions.
Number of similar titles:
25
Similar Title:
Logic programming and its applications
Variant title:
Logic programming : functions, relations, and equations
Copyright Claimant:
Prentice-Hall, Inc., a division of Simon & Schuster
Notes:
Cataloged from appl.
Authorship on Application:
editing: Doug DeGroot & Gary Lindstrom.
Names:
Doug DeGroot 1951-
Gary Lindstrom
Simon & Schuster. Prentice-Hall, Inc. (1178 documents)
example document: Biology, [by] Barrett, Abramoff, Kumaran, Millington

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

Logic programming '85

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001843669 / 1986-05-27
Date of Publication:
January 17, 1986
Date of Creation:
1986
Title:
Logic programming '85 : proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985 / edited by Eiiti Wada.
Series:
Lecture notes in computer science ;
Imprint:
New York : Springer, c1986.
Description:
311 p.
Other Title:
Lecture notes in computer science ; v. 221
Copyright Claimant:
Springer-Verlag
Names:
Eiiti Wada
Springer-Verlag (2905 documents)
example document: Statistical thermodynamics of nonequilibrium processes

Copyrights records by Springer-Verlag

Logic programming for managing constraint-based engineering design

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001939271 / 1986-10-16
Date of Publication:
September 15, 1986
Date of Creation:
1986
Title:
Logic programming for managing constraint-based engineering design / Weng Tat Chan.
Imprint:
Ann Arbor : University Microfilms International, 1986.
Description:
microfiche.
Copyright Claimant:
Weng Tat Chan
Names:
Weng Tat Chan 1957-

Logic programming

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002680924 / 1989-08-10
Date of Publication:
July 21, 1989
Date of Creation:
1989
Title:
Logic programming : proceedings of the sixth international conference / edited by Giorgio Levi and Maurizio Martelli.
Basis of Claim:
New Matter: foreword & editing.
Copyright Note:
C.O. correspondence.
Imprint:
Cambridge, Mass. : MIT Press, c1989.
Description:
692 p.
Number of similar titles:
25
Copyright Claimant:
Massachusetts Institute of Technology
Performer:
Papers presented at the Sixth International Conference on Logic Programming, held in Lisbon, June 19-23, 1989.
Names:
Giorgio Levi 1942-
Maurizio Martelli
International Conference on Logic Programming, 6th, Lisbon, 1989
Massachusetts Institute of Technology (1356 documents)
example document: Superfairness

Copyrights records by Massachusetts Institute of Technology

Logic programming

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002738414 / 1989-11-28
Date of Publication:
November 2, 1989
Date of Creation:
1989
Title:
Logic programming : proceedings of the North American Conference, 1989 : v. 1-2 / edited by Ewing L. Lusk and Ross A. Overbeek.
Copyright Note:
C.O. correspondence.
Number of similar titles:
25
Variant title:
Logic programming : proceedings of the North American Conference, 1989
Copyright Claimant:
Massachusetts Institute of Technology
Performer:
Papers presented at the North American Conference on Logic Programming held in Cleveland, Ohio, USA, on Oct. 16-20, 1989.
Names:
Ross A. Overbeek (7 documents)
example document: ANS COBOL: a pragmatic approach

Copyrights records by Overbeek, Ross A.

Ewing L. Lusk
North American Conference on Logic Programming, Cleveland, 1989
Massachusetts Institute of Technology (1356 documents)
example document: Maxwell on molecules and gases

Logic programming semantics

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002782125 / 1990-04-25
Date of Publication:
December 15, 1989
Date of Creation:
1989
Title:
Logic programming semantics : techniques and applications / Marianne Baudinet.
Description:
microfiche.
Copyright Claimant:
Marianne Baudinet
Names:
Marianne Baudinet 1962-

Logic programming

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003023393 / 1990-12-10
Date of Publication:
November 23, 1990
Date of Creation:
1990
Title:
Logic programming : proceedings of the 1990 North American conference / edited by Saumya Debray and Manuel Hermenegildo.
Copyright Note:
C.O. correspondence.
Description:
1 v.
Number of similar titles:
25
Variant title:
Logic programming : proceedings of the 1990 North American conference
Copyright Claimant:
Massachusetts Institute of Technology
Performer:
Papers presented at the 1990 North American Conference on Logic Programming, held Oct. 29-Nov. 1, 1990 in Austin.
Names:
Manuel Hermenegildo
Saumya Debray
North American Conference on Logic Programming, Austin, 1990
Massachusetts Institute of Technology (1356 documents)
example document: Visual reconstruction

Logic programming

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003131562 / 1991-08-23
Date of Publication:
July 3, 1991
Date of Creation:
1991
Title:
Logic programming : proceedings of the Eighth International Conference / edited by Koichi Furukawa.
Number of similar titles:
25
Copyright Claimant:
Massachusetts Institute of Technology
Performer:
Papers presented at the Eighth International Conference on Logic Programming, held in Paris, France, June 24-28, 1991.
Names:
Koichi Furukawa
International Conference on Logic Programming, 8th, Paris, 1991
Massachusetts Institute of Technology (1356 documents)
example document: IBM Websphere studio application developer for Windows, early availability

Logic programming and non-monotonic reasoning

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003152920 / 1991-09-19
Date of Publication:
July 25, 1991
Date of Creation:
1991
Title:
Logic programming and non-monotonic reasoning : proceedings of the first international workshop / edited by Anil Nerode, Wiktor Marek, and V. S. Subrahmanian.
Copyright Note:
C.O. correspondence.
Description:
288 p.
Number of similar titles:
1
Variant title:
Logic programming and non-monotonic reasoning : proceedings of the first international workshop
Copyright Claimant:
Massachusetts Institute of Technology
Names:
V. S. Subrahmanian

Copyrights records by Subrahmanian, V. S.

Wiktor Marek
Anil Nerode

Copyrights records by Nerode, Anil

Massachusetts Institute of Technology (1356 documents)
example document: The Disappearance of introspection

Logic programming

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003222663 / 1992-01-10
Date of Publication:
November 3, 1991
Date of Creation:
1991
Title:
Logic programming : proceedings of the 1991 International Symposium / edited by Vijay Saraswat and Kazunori Ueda.
Number of similar titles:
25
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Kazunori Ueda
Vijay Saraswat
Massachusetts Institute of Technology (1356 documents)
example document: Combinatorial auctions

Logic programming

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003471250 / 1993-01-19
Date of Publication:
November 22, 1992
Date of Creation:
1992
Title:
Logic programming : proceedings of the Joint International Conference and Symposium on Logic Programming / edited by Krzysztof Apt.
Imprint:
Cambridge, Mass. : MIT Press, c1992.
Description:
848 p.
Number of similar titles:
25
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Krzysztof Apt
Massachusetts Institute of Technology (1356 documents)
example document: Social consequences of Internet use
Joint International Conference and Symposium on Logic Programming

Logic programming languages

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003540454 / 1993-04-26
Date of Publication:
March 24, 1993
Date of Creation:
1993
Title:
Logic programming languages : constraints, functions, and objects / edited by K. R. Apt, J. W. DeBakker and J. J. M. M. Rutten.
Series:
Logic programming
Imprint:
Cambridge, MA : MIT Press, c1993.
Description:
201 p.
Other Title:
Logic programming
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Jacobus Willem D Bakker
Jacobus Willem DeBakker

Copyrights records by DeBakker, Jacobus Willem

Krzysztof R. Apt 1949-
J. J. M. M. Rutten
Massachusetts Institute of Technology (1356 documents)
example document: Barriers

Logic programming and non-monotonic reasoning

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003561041 / 1993-08-31
Date of Publication:
June 20, 1993
Date of Creation:
1993
Title:
Logic programming and non-monotonic reasoning : proceedings of the second international workshop / edited by Luis Moniz Pereira and Anil Nerode.
Imprint:
Cambridge, MA : MIT Press, c1993.
Description:
494 p.
Number of similar titles:
1
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Anil Nerode 1932-
Luis Moniz Pereira
Massachusetts Institute of Technology (1356 documents)
example document: Work on myth

Logic programming on an FFP machine

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003566504 / 1993-05-20
Date of Publication:
March 15, 1993
Date of Creation:
1992
Title:
Logic programming on an FFP machine.
Imprint:
Ann Arbor : University Microfilms International, 1993.
Description:
Microfiche.
Copyright Claimant:
Bruce Thomas Smith
Names:
Bruce Thomas Smith (1 documents)
example document: Songs by Bruce Smith

Logic programming

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003743542 / 1995-10-23
Date of Publication:
June 16, 1995
Date of Creation:
1995
Title:
Logic programming : proceedings of the Twelfth international conference on logic programming / edited by Leon Sterling.
Imprint:
Cambridge, MA : MIT Press, c1995.
Description:
834 p.
Number of similar titles:
25
Other Title:
international conference on logic programming
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Leon Sterling (3 documents)
example document: 2001 Australian software engineering conference

Copyrights records by Sterling, Leon

Massachusetts Institute of Technology (1356 documents)
example document: The elements of computing systems

Logic programming

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003877400 / 1994-08-18
Date of Publication:
June 18, 1994
Date of Creation:
1994
Title:
Logic programming : proceedings of the Eleventh International Conference on Logic Programming / edited by Pascal VanHentenryck.
Imprint:
Cambridge, MA : MIT Press, c1994.
Description:
752 p.
Number of similar titles:
25
Variant title:
Logic programming : proceedings of the Eleventh International Conference on Logic Programming
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Pascal VanHentenryck

Copyrights records by VanHentenryck, Pascal

Massachusetts Institute of Technology (1356 documents)
example document: Southern comfort
International Conference on Logic Programming, 11th

Logic programming

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003928959 / 1994-11-21
Date of Publication:
October 25, 1994
Date of Creation:
1994
Title:
Logic programming : proceedings of the 1994 international symposium / edited by Maurice Bruynooghe.
Imprint:
Cambridge, MA : MIT Press, c1994.
Description:
690 p.
Number of similar titles:
25
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Maurice Bruynooghe
Massachusetts Institute of Technology (1356 documents)
example document: Machine musicianship

Logic programming in intuitionistic linear logic

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003998340 / 1995-02-10
Date of Publication:
November 15, 1994
Date of Creation:
1993
Title:
Logic programming in intuitionistic linear logic : theory, design, and implementation.
Description:
Microfiche.
Copyright Claimant:
Joshua Seth Hodas, 1964-
Names:
Joshua Seth Hodas 1964-

Logic programming

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004217268 / 1996-03-26
Date of Publication:
December 11, 1995
Date of Creation:
1995
Title:
Logic programming : proceedings of the 1995 international symposium / edited by John Lloyd.
Imprint:
Cambridge, MA : MIT Press, c1995.
Description:
646 p.
Number of similar titles:
25
Copyright Claimant:
Massachusetts Institute of Technology
Names:
John Lloyd (4 documents)
example document: The damned ; Eyes sewn shut ; Habeas Corpus ... [et al.]

Copyrights records by Lloyd, John

Massachusetts Institute of Technology (1356 documents)
example document: Working minimalism

Logic programming

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004438371 / 1996-12-24
Date of Publication:
August 14, 1996
Date of Creation:
1996
Title:
Logic programming : proceedings of the 1996 joint international conference and symposium on logic programming / edited by Michael Maher.
Imprint:
Cambridge, MA : MIT Press, c1996.
Description:
554 p.
Number of similar titles:
25
Other Title:
joint international conference and symposium on logic programming
1996 joint international conference and symposium on logic programming
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Michael Maher (117 documents)
example document: Solutions manual to accompany Cost accounting, second edition

Copyrights records by Maher, Michael

Massachusetts Institute of Technology (1356 documents)
example document: Bulldog

Logic programming

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004509345 / 1997-07-28
Date of Publication:
July 9, 1997
Date of Creation:
1997
Title:
Logic programming : proceedings of the Fourteenth international conference on logic programming / edited by Lee Naish.
Imprint:
Cambridge, MA : MIT Press, c1997.
Description:
426 p.
Number of similar titles:
25
Other Title:
Fourteenth international conference on logic programming
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Lee Naish
Massachusetts Institute of Technology (1356 documents)
example document: The Beginning of the use of metals and alloys

Logic programming

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004845445 / 1998-08-17
Date of Publication:
November 1, 1997
Date of Creation:
1997
Title:
Logic programming / edited by Jan Maluszynski.
Imprint:
Cambridge, MA : MIT Press, c1997.
Description:
425 p.
Number of similar titles:
25
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Jan Maluszynski
Massachusetts Institute of Technology (1356 documents)
example document: The Social construction of technological systems

Logic programming

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004852467 / 1998-08-31
Date of Publication:
June 27, 1998
Date of Creation:
1998
Title:
Logic programming : proceedings of the 1998 Joint international conference and symposium on logic programming / edited by Joxan Jaffar.
Imprint:
Cambridge, MA : MIT Press, c1998.
Description:
360 p.
Number of similar titles:
25
Other Title:
1998 Joint international conference and symposium on logic programming
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Joxan Jaffar
Massachusetts Institute of Technology (1356 documents)
example document: Social consequences of Internet use

Logic programming

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005120321 / 2000-01-12
Date of Publication:
December 19, 1999
Date of Creation:
1999
Title:
Logic programming : proceedings of the 1999 international conference on logic programming / edited by Danny DeSchreye.
Imprint:
Cambridge, MA : MIT Press, c1999.
Description:
622 p.
Number of similar titles:
25
Variant title:
Logic programming : proceedings of the 1999 international conference on logic programming
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Danny D Schreye
Danny DeSchreye
Massachusetts Institute of Technology (1356 documents)
example document: Politics and political change

The IEEE Computer society's 12th annual international symposium on modeling, analysis, and simulation of computer and telecommunications systems

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0006059361 / 2004-10-18
Date of Publication:
October 1, 2004
Date of Creation:
2004
Title:
The IEEE Computer society's 12th annual international symposium on modeling, analysis, and simulation of computer and telecommunications systems : proceedings : Volendam, The Netherlands, The European Union, Oct 4-8, 2004 / edited by Doug DeGroot and Pete Harrison.
Application Title:
Proceedings : the IEEE Computer society's 12th annual international symposium on modeling analysis, and simulation of computer and telecommunication.
Imprint:
Los Alamitos, CA : IEEE Computer Society, c2004.
Description:
614 p.
Variant title:
The IEEE Computer society's 12th annual international symposium on modeling, analysis, and simulation of computer
Other Title:
Modeling, analysis, and simulation of computer and telecommunications systems
12th Annual international symposium on modeling, analysis, and simulation of computer and telecommunications systems
Proceedings : the IEEE Computer society's 12th annual international symposium on modeling analysis
MASCOTS 2004
Copyright Claimant:
IEEE (employer for hire)
Notes:
Cover ti.: MASCOTS 2004.
Names:
Pete Harrison (36 documents)
example document: Mastering Tomcat developmant
Doug DeGroot
IEEE (459 documents)
example document: Proceedings of the 2002 ASME/IEEE joint railroad conference, April 23-25,2002, Washington, DC

Copyrights records by IEEE

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.