x

User login

Enter your username and password here in order to log in on the website:

Forgot your password?

No account? Register now for free!

Logical Circuit

Place your company right here under "...". Join now!


Links to Logical Constructed Languages
List and links prepared by Alkaline creator of Minyeva logical language. Brief useful explanations of and links to other logical constructed languages like Loglan, Lojban, Voksigid, gua!spi, Ceqli, Liva, AllNoun, Danovën, Arovën and CycL.
http://minyeva.alkaline.org/links.htm

Logical Methods
EEF Foundations Summer School on Logical Methods. BRICS, Aarhus, Denmark; 25 June -- 6 July 2001.
http://www.brics.dk/LogicsSchool01/

Bibliography on Logical Frameworks
450 references related to logical frameworks, which are formal meta-languages for deductive systems.
http://www.cs.cmu.edu/afs/cs/user/fp/www/lfs-bib.html

The Practice of Logical Frameworks
Document details from CiteSeerX (Isaac Councill, Lee Giles): Deductive systems, given via axioms and rules of inference, are a common conceptual tool in mathematical logic and computer science. They are used to specify many varieties of logics and logical theories as well as aspects of programming
http://citeseer.ist.psu.edu/pfenning96practice.html

Circuit Exchange International
Electronic and Radio schematics, Design,Theory,Circuit Analysis
http://www.mitedu.freeserve.co.uk/

Logical Form in Linguistics
Explains the importance of the logical form; specifically, in relation to the syntactically correct form according to Chomsky's theories of Universal Grammar.
http://kleene.ss.uci.edu/~rmay/LogicalForm.html

Circuit Breaker Industries Ltd - CBI
Manufacturer of miniature and moulded case circuit breakers for overload and short circuit protection. From South Africa.
http://www.atc.co.za/

Littelfuse Circuit Protection
Littelfuse is the world leader in circuit protection offering Automotive Fuses, Automotive Circuit Protection, Fuses, Electrical Fuses, Thyristors and more.
http://www.littelfuse.com/

Circuit Sage
Tools and links for RF/analog circuit design and analysis.
http://www.circuitsage.com/

Edge Circuit Technology
ECT offers consignment and turnkey project solution services. We will customary address testability, material savings, and manufacturability issues to assist our customers. Our extensive manufacturing experiences and consistent processes enable us to reinforce high standards at every stage of production. Our ultimate objective is to offer a wide range of services and to deliver quality products with total yield outcome to fulfill our customers’ go-to-market needs.
http://www.edgecircuit.com


Results Page : 1   2   3   4   5   6   7   8   9   10   11   12   13   14   15   16   17   18   19   20   21   22   23   24   25   26   27   28   29   30  
Industry catalog:   1   2   3   A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   X   Y   Z