0
|
1 @book{companion,
|
|
2 author = "Michael Goossens and Frank Mittelbach and
|
|
3 Alexander Samarin",
|
|
4 title = "The LaTeX Companion",
|
|
5 publisher = "Addison Wesley",
|
|
6 address = "Reading, Massachusetts",
|
|
7 year = 1993}
|
|
8 @book{latex,
|
|
9 author = "Leslie Lamport",
|
|
10 title = "A Document Preparation System {\LaTeX} User's Guide
|
|
11 \& Reference Manual",
|
|
12 publisher = "Addison Wesley",
|
|
13 address = "Reading, Massachusetts",
|
|
14 year = 1986}
|
|
15 @article{article1,
|
|
16 author = "Ssss Itoh and Nnnn Goto",
|
|
17 title = "An Adaptive Noiseless Coding for Sources with Big
|
|
18 Alphabet Size",
|
|
19 journal = "Trans. IEICE",
|
|
20 volume = "E74",
|
|
21 number = 9,
|
|
22 pages = "2495--2503",
|
|
23 year = 1991,
|
|
24 month = sep}
|
|
25 @article{article2,
|
|
26 author = "K. Abrahamson and N. Dadoun and " #
|
|
27 "D. G. Kirkpatrick and T. Przytycka",
|
|
28 title = "A Simple Parallel Tree Contraction Algorithm",
|
|
29 journal = "J. Algorithms",
|
|
30 volume = 10,
|
|
31 number = 2,
|
|
32 pages = "287--302",
|
|
33 year = 1989}
|
|
34
|
|
35 @book{book1,
|
|
36 author = "J. D. Foley and others",
|
|
37 title = "Computer Graphics --- Principles and Practice",
|
|
38 series = "System Programming Series",
|
|
39 publisher = "Addison-Wesley",
|
|
40 address = "Reading, Massachusetts",
|
|
41 edition = "2nd",
|
|
42 year = 1990}
|
|
43 @book{book2,
|
|
44 author = "Chang, C. L. and Lee, R. C. T.",
|
|
45 title = "Symbolic Logic and Mechanical Theorem Proving",
|
|
46 publisher = "Academic Press",
|
|
47 address = "New York",
|
|
48 year = 1973}
|
|
49
|
|
50 @booklet{booklet1,
|
|
51 author = "{Institute for New Generation Computer Technology}",
|
|
52 title = "Overview of the Fifth Generation Computer Project",
|
|
53 howpublished = "distributed in {FGCS'92}",
|
|
54 year = 1992,
|
|
55 note = "(in Japanese)"}
|
|
56
|
|
57 @inbook{inbook1,
|
|
58 author = "Knuth, D. E.",
|
|
59 title = "Fundamental Algorithms",
|
|
60 series = "Art of Computer Programming",
|
|
61 volume = 1,
|
|
62 chapter = 2,
|
|
63 pages = "371--381",
|
|
64 publisher = "Addison-Wesley",
|
|
65 address = "Reading, Massachusetts",
|
|
66 edition = "2nd",
|
|
67 year = 1973}
|
|
68
|
|
69 @incollection{incollection1,
|
|
70 author = "Schwartz, Aaaa Jjjj",
|
|
71 title = "Subdividing B{\'e}zier Curves and Surfaces",
|
|
72 booktitle = "Geometric Modeling: Algorithms and New Trends",
|
|
73 editor = "Farin, G. E.",
|
|
74 publisher = "SIAM",
|
|
75 address = "Philadelphia",
|
|
76 pages = "55--66",
|
|
77 year = 1987}
|
|
78
|
|
79 @inproceedings{inproceedings1,
|
|
80 author = "Baraff, D",
|
|
81 title = "Curved Surfaces and Coherence for Non-penetrating
|
|
82 Rigid Body Simulation",
|
|
83 booktitle = "SIGGRAPH '90 Proceedings",
|
|
84 pages = "19--28",
|
|
85 editor = "Beach, R. J.",
|
|
86 address = "Dallas, Texas",
|
|
87 organization = "ACM",
|
|
88 publisher = "Addison-Wesley",
|
|
89 year = 1990}
|
|
90
|
|
91 @manual{manual1,
|
|
92 organization = "Adobe Systems Inc.",
|
|
93 title = "PostScript Language Reference Manual",
|
|
94 publisher = "Addison-Wesley",
|
|
95 address = "Reading, Massachusetts",
|
|
96 year = 1985}
|
|
97
|
|
98 @mastersthesis{mastersthesis1,
|
|
99 author = "Kazuhiro Ohno",
|
|
100 title = "Efficient Message Communication of Concurrent Logic
|
|
101 Programming Language KL1 Based on Static Analysis",
|
|
102 school = "Dept. Information Science, Kyoto University",
|
|
103 year = 1995}
|
|
104
|
|
105 @misc{misc1,
|
|
106 author = "Yasuki Saito and Hiroshi Nakashima",
|
|
107 title = "{{\tt ipsjpapers.sty}}",
|
|
108 note = "(Style file for Trans. IPSJ distributed to authors.)",
|
|
109 year = 1995}
|
|
110
|
|
111 @phdthesis{phdthesis1,
|
|
112 author = "Weihl, W.",
|
|
113 title = "Specification and Implementation of
|
|
114 Atomic Data Types",
|
|
115 school = "MIT",
|
|
116 address = "Boston",
|
|
117 year = 1984}
|
|
118
|
|
119 @proceedings{proceedings1,
|
|
120 title = "Proc. Intl. Conf. on Fifth Generation Computer
|
|
121 Systems",
|
|
122 organization = "Institute for New Generation Computer Technology",
|
|
123 volume = 1,
|
|
124 year = 1992}
|
|
125
|
|
126 @techreport{WarD:WAM-1,
|
|
127 author = "David H. D. Warren",
|
|
128 title = "An Abstract {Prolog} Instruction Set",
|
|
129 type = "Technical Report",
|
|
130 number = 309,
|
|
131 institution = "Artificial Intelligence Center, SRI International",
|
|
132 year = 1983,
|
|
133 month = oct}
|
|
134
|
|
135 @unpublished{unpublished,
|
|
136 author = "{Editorial Board of Trans. IPSJ}",
|
|
137 title = "How to Typeset Your Papers in {\LaTeX} (Version 1)",
|
|
138 note = "(distributed to authors)",
|
|
139 year = 1995}
|