Logical Methods in Computer Science
The complexity of global cardinality constraints. Andrei A. Bulatov ... Tree Languages Defined in First-Order Logic with One Quantifier Alternation ...
http://www.lmcs-online.org/index.php
popularity:
logic
journal
research
programming
cs
theory
computer
science
math
online
|
research!rsc
I wanted to use webscript to replace some clunky wget-based shell scripts we ... This used to work for tracking UPS packages: #!./webscript load "http: ...
similarity:
popularity:
blog
programming
research
science
algorithms
computer
algorithm
go
computing
math
|
AT&T Labs Research
AT&T research areas, projects, software tools, patents, and other information about the telecommunications laboratory.
similarity:
popularity:
research
labs
programming
software
networking
science
att
jobs
computer
web
|
Project Euler
A series of challenging mathematical/computer programming problems that will require more than just mathematical insights to solve.
similarity:
popularity:
programming
math
puzzles
mathematics
algorithms
problems
education
puzzle
learning
science
|
Metamath Home Page
wget -nH --mirror "http://us.metamath.org/index.html" If you would like to set up a mirror site for public access, read the instructions in mirror.txt. ...
similarity:
popularity:
math
mathematics
logic
proof
software
reference
theory
proofs
science
education
|
BioMed Central | The Open Access Publisher
Independent publishing house committed to providing immediate free access to peer-reviewed biomedical research.
similarity:
popularity:
science
research
biology
journals
journal
reference
health
medicine
openaccess
medical
|
International Journal of Internet Science
International Journal of Internet Science. A peer reviewed open access journal ... science concerning the Internet and its implications for individuals, social ...
similarity:
popularity:
internet
journal
research
academic
journals
onlineresearch
science
web
sociology
web2.0
|
Isabelle
... in a formal language and provides tools for proving those formulas in a logical calculus. Isabelle is developed at University of Cambridge (Larry Paulson) and ...
similarity:
popularity:
logic
proof
software
mathematics
theorem
programming
science
math
prover
tools
|
Image and Narrative
An academic e-journal on theory and criticism of visual narrative. ... should be sent by 31st March 2009, with final article to be submitted on 15th August 2009. ...
similarity:
popularity:
narrative
art
theory
journal
magazine
comics
research
journals
image
media
|
The Coq proof assistant
No information avaiable
similarity:
popularity:
logic
coq
programming
proof
math
software
mathematics
ocaml
tools
language
|
OMSI: Robot Obstacle Course
No information avaiable
similarity:
popularity:
programming
robot
math
technology
computer
games
education
logic
elementary
interactive
|