Bibliografie

Un elenco di siti con bibliografie di software di diverso
genere, utile per la ricerca e la didattica

1) Logic Software. Bibliografia, un po' datata (21 Feb 1994) ormai, a cura di E. J. Forbis.

2) The Natural Language Software Registry. Un'ampia e documentata rassegna del software sulla linguistica disponibile in rete.

Fa parte delle attività de The Association for Computational Linguistics, presso DFKI (Deutsches Forschungszentrum fuer Kuenstliche Intelligenz ), di Saarbrücken, Germania.

3) Database of Existing Mechanized Reasoning Systems . Una vasta e molto documentata bibliografia del software logico (soprattutto di calcolo) esistente in rete.

4) Software for Classicists. Rassegna di software da scaricare, shareware e freeware, per studi classici. Pe informazioni o problemi contattare: Don Fowler, Don.Fowler@Jesus.ox.ac.uk.

5) LOGIC RESOURCES. A Collection of Links Pertaining to Logic.

6) Educational logic software . Bibliografia di software logico; Email: hans@cogsci.ed.ac.uk .

7) Software, Theorem Provers. Breve bibliografia di software logico, curata da Ralph Matthes.

8) Educational logic software . Succinta bibliografia di software logico, curata da Hans van Ditmarsch, University of Groningen, The Netherlands.

9) Logic/Problem Solving Software Preview List. Lista di software didattico per la scuola di base; curato dal Santa Barbara County Education Office.

10) Latin Software Related Homepage . Bibliografia generica (generata automaticamente) del software disponibile in rete sulla lingua latina. By ComStar Company, Cupertino, CA U.S.A.

11) Greek Software Digest . Bibliografia generica (generata automaticamente) del software disponibile in rete sulla lingua greca antica e, prevalentemente, moderna. By ComStar Company, Cupertino, CA U.S.A.

12) The L & L Enterprises Homepage. Lista di materiale didattico per l'insegnamento del latino. By America Online, Inc (AOL).

13) Macintosh Exchange. Software didattico di varia natura per Mac.

"This column is for software developers and authors who have developed software specifically for higher education".