 |
|
|
|
 |
egories |
 |
|
New Addition |
|
|
|
 |
Details: |
 |
|
450 references related to logical frameworks, which are formal meta-languages for deductive systems.
Sponsored Links:
|
| URL: |
http://www.cs.cmu.edu/afs/cs/user/fp/www/lfs-bib.html
|
| Title: |
Bibliography on Logical Frameworks |
| Description: |
Computers, Computer Science, Publications, Bibliographies - Bibliography on Logical Frameworks. 450 references related to logical frameworks, which are formal meta-languages for deductive systems. |
| Specialized in: |
|
|
|
|
|
Asynchronous Bibliography (Popularity:  ): A search engine which covers three bibliographies related to asynchronous circuits.
A Comprehensive Bibliography on Self-Stabilization (Popularity: ): Articles and conference proceedings, some books.
CS Bibliographic Collections (Popularity: ): A small index from Simon Fraser University.
GraphBib (Popularity: ): 20,000 references in the field of computer graphics (journals, IEEE and ACM conferences).
Bibliography and Library Index (Popularity: ): List of resources arranged by content (citations, abstracts, full papers, and type of document).
Network Bibliography (Popularity: ): 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 (Popularity: ): An annotated and searchable bibliography of computer vision and image processing papers, arranged by topics (36,000 entries, 1800 on-line papers).
Human-Computer Interaction (Popularity: ): Collection of about 850 links to bibliographic databases and annotated bibliographies, with short descriptions.
Carnegie Mellon University Library Computer Science Bibliographies (Popularity: ): An index to bibliographies on several subfields.
Automatic Language Identification Bibliography (Popularity: ): Research into the automatic identification of spoken language with links to author home pages and online papers.
|
|
Popular Sites |
|
Bibliography and Library Index (Popularity: ): List of resources arranged by content (citations, abstracts, full papers, and type of document).
GraphBib (Popularity: ): 20,000 references in the field of computer graphics (journals, IEEE and ACM conferences).
Bibliography on Logical Frameworks (Popularity: ): 450 references related to logical frameworks, which are formal meta-languages for deductive systems.
Asynchronous Bibliography (Popularity: ): A search engine which covers three bibliographies related to asynchronous circuits.
Network Bibliography (Popularity: ): Searchable bibliography on performance evaluation, computer networks, network security, digital signal processing (54,000 records with abstracts, 20,000 documents, submission welcome).
|
|
Related Press |
|
SCOLR Pharma, Inc. Reports Third Quarter 2009 Financial Results (Popularity: ): SCOLR Pharma, Inc. (Amex: DDD) today reported financial results for the three and nine months ended September 30, 2009.
Stephen J. ...
Online Job Demand Down 83,200 in October, The Conference Board Reports (Popularity: ): Online advertised vacancies declined by 83,200 to 3,280,000 in October, according to The Conference Board Help-Wanted OnLine Data Series (HWOL)(TM) ...
The 1 Million Euro Grand Slam of Slots Jackpot has Been Won! (Popularity: ): The highly sought after 1 Million Euro Grand Slam of Slots jackpot was won on the 2nd November 2009 at ...
Sierra Vista Bank Reports 3rd Quarter 2009 Financial Results (Popularity: ): Sierra Vista Bank (OTC Bulletin Board: SVBA), recently announced its financial results for the Quarter ending September 30, 2009. Assets ...
Guitar Hero(R) Continues to Rock the House as November's Line-Up of Downloadable Content is Announced (Popularity: ): The Guitar HeroŽ music library continues to evolve and expand as November brings a great collection of new and classic ...
|
|
Related Articles |
|
|
|
 |
|
 |
| |
| | |
|
|
|
© 2003-2008, ABC-Directory.Com. All Rights Reserved
|
|
|
 |
|
 |
|
