Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <05217-0@swan.cl.cam.ac.uk>; Mon, 4 May 1992 16:28:50 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA23787; Mon, 4 May 92 08:18:06 -0700 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Received: from swan.cl.cam.ac.uk by ted.cs.uidaho.edu (16.6/1.34) id AA23783; Mon, 4 May 92 08:17:59 -0700 Received: from razorbill.cl.cam.ac.uk by swan.cl.cam.ac.uk with SMTP (PP-6.0) to cl id <04960-0@swan.cl.cam.ac.uk>; Mon, 4 May 1992 16:17:02 +0100 To: trdgav01@za.ac.uct.ucthpx (GL Tredoux) Cc: info-hol@edu.uidaho.cs.ted Subject: Re: HOL 91 Proceedings - Request In-Reply-To: Your message of Mon, 04 May 92 15:44:34 -0400. Date: Mon, 04 May 92 16:16:59 +0100 From: Jim Grundy Message-Id: <"swan.cl.ca.962:04.04.92.15.17.04"@cl.cam.ac.uk> Gavan Tredoux writes >Jim Grundy writes > >> I see (well actually JVT sees and tells me) that the proceedings >> of the last HOL user meeting are now in IEEE's publications >> catalogue (albeit at a steep price). > >Could someone please supply more details here? For instance price, >publisher, best place for mail-ordering it. > @BOOK{hol91, editor = "Phillip J. Windley and Myla Archer and Karl N. Levitt and Jeffrey J. Joyce", title = "The Proceedings of the International Tutorial and Workshop on the {HOL} Theorem Proving System and its Applications", publisher = "IEEE Computer Society Press", address = "10662 Los Vaqueros Circle, PO Box 3014, Los Alamitos CA 90720-1264, United States", year = 1992 month = feb} The book's ISBN is "0-8186-2460-4" and its catalog number in the IEEE's Spring 1992 catalog is 2460. Price $96.00 (and its a soft cover!) or ($48.00 if you are a member of the IEEE computer society, but the discount only applies to the first copy if you are buying more than one. There is also a $5.00 or 15% of total order (which ever is greater handling charge) which in this case adds $14.40 to the cost to a grand total of $110.40. This price is a `prepublication' price which I guess means that they haven't published it yet, but they are happy to take your money now. I To order contact IEEE Computer Society Press Customer Service Center 10662 Los Vaqueros Circle PO Box 3014 Los Alamitos CA 90720-1264 UNITED STATES Phone: +1 714 821 8380 OR European Office 13, avenue de l'Aquilon B-1200 Brussels BELGIUM Phone: +32 2 770 2198 OR Asian Office Ooshima Building 2-19-1 Minami-Aoyama Minato-ku Tokyo 107 JAPAN Phone: +81 3 3408 3118 Jim