RSS

randombit + logic   6

Physics, Topology, Logic and Computation: A Rosetta Stone
computation  topology  logic  physics  mathematics  paper 
january 2010 by randombit
Learn Prolog Now!
tutorial  logic  prolog 
march 2009 by randombit
MiniSat
MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT.
library  algorithm  sat  logic  prion 
april 2008 by randombit
TLA - The Temporal Logic of Actions
TLA (the Temporal Logic of Actions) is a logic for specifying and reasoning about concurrent and reactive systems.
concurrency  distributed  lamport  math  logic  verification  specification 
december 2007 by randombit
Blue Eyes - A Logic Puzzle
logic  puzzle  xkcd 
september 2007 by randombit
Category:Formal languages - Wikipedia, the free encyclopedia
computers  theory  logic 
march 2006 by randombit

Copy this bookmark:



description:


tags: