-
A minimal, pure specification logic programming language with meta-language capability.
axiomatic language  higher-order logic HiLog
www.axiomaticlanguage.org - 2009-02-07
-
← FAQ Home Web Site Automation → Text Size Updated December 09, 2008 Leading the field Virtual communities are more effective and useful to large organizations th ...
www.southernconnections.com - 2009-02-05
-
Svensk datakonsult för Ditt företag! I Mjölby sedan 1988.
www.idekonsult.net - 2009-02-13
-
Real World Artificial Intelligence applications including rule-based systems, knowledge, logic, expert systems, agents, NLP, data mining, learning, speech and ...
Backpropogation
www.pcai.com - 2009-02-07
-
Scientificial.com - Consultancy and Design services in Artificial Reasoning, Scientific Software, CAD Tool Research and Development, and Advanced Web-Solutions
Advanced Web-Solutions Artificial Reasoning constraint-satisfaction SAT solvers search and optimization
www.scientificial.com - 2009-02-13
-
La page personnelle d'Alexandre Nouvel, informaticien polyvalent Mac/Unix/PC
alexandre.nouvel.online.fr - 2009-02-07
-
Информация за езици за програмиране - C++, Delphi, Java, HTML, PHP, PostScript, Ada, Perl, Basic, Assembler, Cobol, Lisp, APL, Logo, Lua, SQL, Forth, Powerbuilder ...
programni ezici език за програмиране Паскал
ezicizaprogramirane.start.bg - 2009-04-08
-
Cubelogic develops software for Mac OS X and Unix operating systems.
cubelogic cubelogic software Ettore Pasquini Mac OS X apps theoretical foundations usable representations
cubelogic.org - 2009-04-09
-
CodeChef Discussion Forum
discuss.codechef.com - 2009-04-10
-
CodeChef hosts online and in person coding contests. Submit solutions in one of 35 programming languages: C++, Java, Python, Ruby and more. Algorithmic practice ...
www.codechef.com - 2009-02-07
|
|
|
