CADE-14 Proceedings

If you are not attending CADE-14 (in the sunshine, near the Great Barrier Reef), you can purchase copies of the conference, workshop, and tutorial proceedings using the order form below. The proceedings price offered here includes the conference dicount, which will not be available from bookstores, etc. All prices include airmail postage.

Note: All prices are in Australian dollars. Exchange rates are available from http://www.xe.net/currency/.

Name

Postal address





Phone

FAX

Email

Conference Proceedings
Conference Proceedings None  AU$62   copies
Workshop Proceedings
Automated Induction Theorem Proving None  AU$16   copies
Strategies in Automated Deduction None  AU$16   copies
Automated Theorem Proving in Software Engineering None  AU$16   copies
Automated Theorem Proving and Mathematics None  AU$16   copies
Connectionist Systems for Knowledge Representation and Deduction None  AU$16   copies
Tutorial Notes
Learning from Previous Proof Experience None  AU$16   copies
Deduction Methods based on Boolean Rings None  AU$16   copies
Term Indexing in Automated Reasoning, Databases and Declarative Programming Languages None  AU$16   copies
Higher Order Equational Logic None  AU$16   copies

Payment

Total cost AU$

Payment options (choose one)
Credit card. Please FAX your credit card details and authorization to take the above amount, to:
North Queensland Conference Management (CADE-14)
FAX: +61 77 215515.
Here's a form you can use.
Cheque. Please post a cheque made out to CADE-14, in Australian dollars on an Australian bank, to:
North Queensland Conference Management (CADE-14)
Shop 1
54 Denham Street
Townsville
Australia 4810

Your order will be confirmed by email.