91-100 of 776 Matching Directory Listings
British Logic Colloquium 2004
School of Mathematics, University of Leeds. September 6-8, 2004.
http://www.maths.leeds.ac.uk/Pure/logic/blc04.html
SPbDLC'99
First St.Petersburg Days of Logic and Computability. Held in St. Petersburg, Russia on May 26-29, 1999, dedicated to Nikolai Alexandrovich SHANIN Abstracts and photos.
http://logic.pdmi.ras.ru/LogicDays/
Bounded Set Theory
Includes definition, links to publications, experimental implementation on LISP, and illustrating examples.
http://www.botik.ru/~logic/bst/bst.html
Team Logic
Provides details on team building solution, facilitation of Meetings, executive Coaching, and information about team surveys.
http://www.teamlogic.info/
MUltlog
Project of the Vienna Group for Multiple-valued Logics. Available for free download.
http://www.logic.at/multlog/
MUltseq
Companion for MUltlog. Uses rules from Multlog to construct derivations - automatically or interactively - for sequents given directly by the user or generated from the (quasi-) equations.
http://www.logic.at/multseq/
Classical Logic
Classical logic explained from the Stanford Encyclopedia of Philosophy.
http://plato.stanford.edu/entries/logic-classical/
City Business Logic
Maintains a web application builder, offers a full range of programming and design services, and provides product demo.
http://www.citybusinesslogic.com/
Geo-Logic Limited
Offers geotechnical feasibility and geotechnical risk assessments, development of remedial engineering options, and other geotechnical-related services.
http://www.geo-logic.co.nz/
CM Logic
Provides configuration and change management services, IBM rational clearcase software information, and consulltation service.
http://www.cm-logic.com/
Group in Logic and the Methodology of Science
Pioneering interdisciplinary graduate program for a Ph.D. in Logic and the Methodology of Science. Information on admissions and program requirements provided.
http://logic.berkeley.edu/
|
BOTW Sponsors
Your Ad Here - FREE Trial
|