[mathprog] Books
- From: "Yonatan Ben-Ya'akov" <yby@xxxxxx>
- To: mathprog@xxxxxxxxxxxxx
- Date: Mon, 15 Oct 2001 21:26:28 +0800
Hi group.
Again, please please please post stuff!
Now, we took a few books from the Mathematics and Computer Science library at
Einstein building.
I still donno which ones we're gonna use.
Noam has three of them (1-3) and i have the extra 5 but i'm gonna give them to
noam soon. Just letting you know about it, if you want to have a look at one of
them, tell me, or better, write here. I'd love all of your help in sorting out
which books are best for us and which we don't need.
List of books:
1. Spivey, Michael - An Introduction to Logic Programming Through Prolog, 1996.
2. Hill, Patricia - The Godel Programming Language, 1994.
3. Paulson, Lawrence C. - ML for the Working Programmer, 1996.
4. Socher-Ambrosius, Rolf - Deduction Systems, 1997.
5. Computer-Aided Verification, 1991.
6. Fitting, Melvin - First-Order Logic and Automated Theorem Proving, 1996.
7. Duffy, David A. - Principles of Automated Theorem Proving, 1991.
8. Thistlewaite, Paul B. - Automated Theorem-Proving in Non-Classical Logics,
1988.
That's it...
- Yonatan.
--
_______________________________________________
Sign-up for your own FREE Personalized E-mail at Mail.com
http://www.mail.com/?sr=signup
Have you downloaded the latest calling software from Net2Phone? Click here to
get it now!
http://www.net2phone.com/cgi-bin/link.cgi?157
Other related posts:
