Ieee 1
Ieee 1
MC. Fernando Pech-May Instituto Tecnol gico Superior de los Ros o Balanc n, Tabasco a [email protected]
1. Leyes de la l gica o
Para cada primitiva se declara p, q, r, cuando es tautol gica T0 , contradicci n F0 o o
2. Instructions
Please read the following carefully.
between paragraphs. Figure and table captions should be 10-point Helvetica boldface type as in Figure 1. Example of caption. Long captions should be set as in
be pasted onto your manuscript. Use rubber cement to afx the images in place. Black and white, clear, glossy-nish photos are preferable to color. Supply the best quality photographs and illustrations possible. Penciled lines and very ne lines do not reproduce well. Remember, the quality of the book cannot be better than the originals provided. Do NOT use tape on your pages!
Figure 2. Example of long caption requiring more than one line. It is not typed centered but aligned on both sides and indented with an additional margin on both sides of 1 pica. Callouts should be 9-point Helvetica, non-boldface type. Initially capitalize only the rst word of section titles and rst-, second-, and third-order headings. FIRST-ORDER HEADINGS. (For example, 1. Introduction) should be Times 12-point boldface, initially capitalized, ush left, with one blank line before, and one blank line after. SECOND-ORDER HEADINGS. (For example, 1.1. Database elements) should be Times 11-point boldface, initially capitalized, ush left, with one blank line before, and one after. If you require a third-order heading (we discourage it), use 10-point Times, boldface, initially capitalized, ush left, preceded by one blank line, followed by a period and your text on the same line.
2.9. Color
The use of color on interior pages (that is, pages other than the cover) is prohibitively expensive. We publish interior pages in color only when it is specically requested and budgeted for by the conference organizers. DO NOT SUBMIT COLOR IMAGES IN YOUR PAPERS UNLESS SPECIFICALLY INSTRUCTED TO DO SO.
2.10. Symbols
If your word processor or typewriter cannot produce Greek letters, mathematical symbols, or other graphical elements, please use pressure-sensitive (self-adhesive) rub-on symbols or letters (available in most stationery stores, art stores, or graphics shops).
2.6. Footnotes
Please use footnotes sparingly1 and place them at the bottom of the column on the page on which they are referenced. Use Times 8-point type, single-spaced.
2.12. Conclusions
Please direct any questions to the production editor in charge of these proceedings at the IEEE Computer Society Press: Phone (714) 821-8380, or Fax (714) 761-1784.
2.7. References
List and number all bibliographical references in 9-point Times, single-spaced, at the end of your paper. When referenced in the text, enclose the citation number in square brackets, for example [1]. Where appropriate, include the name(s) of editors of referenced books.
References
[1] I. M. Author. Some related article I wrote. Some Fine Journal, 99(7):1100, January 1999. [2] A. N. Expert. A Book He Wrote. His Publisher, Erewhon, NC, 1999.