Theorem proving with abstraction, part II /

Supported in part by the National Science Foundation under grant MCS 77-22830.

Some new results on resolution in automated theorem proving,

Issued also as thesis (M.S.) University of Illinois.

Theorem proving with abstraction, part I /

"UILU-ENG 79-1706."

Salinity changes in Pontchartrain Basin Estuary resulting from Bonnet Carré freshwater diversion : numerical model investigation /

"February 1997."

Logarithmes de Gauss a sept décimales... = Siebenstellige Gaussische logarithmen... /

Mode of access: Internet.

Uber Kartenprojection. Abhandlungen von Lagrange (1779) und Gauss (1822)

Mode of access: Internet.

Untersuchungen über die 2 function von Gauss, und verwandte functionen.

Mode of access: Internet.

Tables de logarithmes à cinq décimales pour les nombres et les lignes trigonométriques, suivies des logarithmes d'addition et de soustraction ou logarithmes de Gauss, et de diverses tables usuelles.

Mode of access: Internet.

Binomial theorem and logarithms. For the use of the midshipmen at the naval school, Philadelphia.

Preface signed: William Chauvenet.

Interesting views of Christianity : being a translation of part of a work of the celebrated M. Bonnet, entitled, "Recherches philosophiques sur les preuves du Christianisme".

Mode of access: Internet.

Briefe an Herrn Charles Bonnet und Studien. Briefe an Freunde.

Title varies: v. 2-4: Briefe an Freunde.

The sun bonnet babies in Italy,

Mode of access: Internet.

Œuvres d'histoire naturelle et de philosophie de Charles Bonnet ...

t. 1. Traité d'insectologie.--t. 2. Observations diverses sur les insectes.--t. 3. Mémoires d'histoire naturelle.--t. 4. Recherches sur l'usage des feuilles.--t. 5-6. Corps organisés.--t. 7-9. Contemplation de la nature.--t. 10. Écrits d'histoire naturelle.--t. 11. Écrits et lettres d'histoire naturelle.--t. 12. Lettres sur divers sujets d'histoire naturelle.--t. 13-14. Essai analytique sur les facultés de l'ame.--t. 15-16. La palingénésie philosophique.--t. 17. Essai de psychologie.--t. 18. Écrits divers.