become an editor
the entire directory
only in Publications/Bibliographies
Computers: Artificial Intelligence: Machine Learning: Publications: Bibliographies
Science: Math: Logic and Foundations: Publications: Bibliographies
Bibliography on Logical Frameworks
- 450 references related to logical frameworks, which are formal meta-languages for deductive systems.
The Collection of Computer Science Bibliographies
- Searchable database with over a million references.
- A monthly selection of annotated citations of current literature in information technology. Searchable online and available by email.
- Collection of about 850 links to bibliographic databases and annotated bibliographies, with short descriptions.
- Searchable bibliography on performance evaluation, computer networks, network security, digital signal processing (54,000 records with abstracts, 20,000 documents, submission welcome).
USC Computer Vision
- An annotated and searchable bibliography of computer vision and image processing papers, arranged by topics (36,000 entries, 1800 on-line papers).
" search on:
to edit this category.
Copyright © 1998-2015 AOL Inc.
Visit our sister sites
Last update: March 15, 2015 at 1:58:49 UTC -