ScienceDirectory.info is a leading science website including agriculture, metrology, industrial engineering, earth sciences, geography, mathematic, aquaculture, aerospace, and more.

Home | Submit a Site

Institutions Home : Mathematics : Logic and Foundations : Institutions Directory Listing(s) • (Netherlands) Amsterdam Institute for Logic, Language and Computation. • (Netherlands) Amsterdam Dutch Research School in Logic (OZSL). • Linear Naming and Computation A distributed research group associated with the Church Project working on the design and implementation of new forms of procedure calling protocols based on the notion of linear naming, together with relevant supporting formal tools and implementation technology. • SRI International Computer Science Laboratory: Formal Methods and Dependable Systems; Rewriting Logics and Systems.

Browse Categories • Agriculture • Alternative Science • Amateur Science • Biology • Chemistry • Cognitive Science • Complex Systems • Computer Science • Directories • Earth Sciences • Ecology • Education • Energy • Engineering • Environment • Forensics • Geography • Institutions • Mathematics • Physics • Resources • Shopping and Services • Social Sciences • Space • Technology

Home | About Us | Submit a Site | Link to Us | Contact Us | Disclaimer | Privacy Policy Information contained herein is deemed accurate and correct, but no warranty is implied or given. © Copyright ScienceDirectory.info, Inc., 2004 - 2005. All rights reserved. Guide to resources about agrochemicals, biochemistry, laboratories, physics and astronomy, software, biochemistry, reliability engineering, chemist, molarity, agriculture, medical physics and useful information with ScienceDirectory.info