|
公司名录
ROADRUNNER WEBS
公司名称: 企业名称:
|
ROADRUNNER WEBS
|
公司说明:
|
Axiomatic Language Home Page
|
公司介绍:
|
a minimal, pure specification logic programming language with meta-language capability.
|
关键字搜索:
|
logic programming, prolog, higher-order logic, hilog, axiomatic language, software specification, formal methods, meta-language, meta-programming, functional programming, fp, lisp
|
公司地址:
|
8323 SW Frwy - Ste 330,PAIGE,TX,USA
|
邮政编码: 邮政编码:
|
76115
|
电话号码:
|
8172442940 (+1-817-244-2940)
|
传真号码:
|
|
网址:
|
axiomaticlanguage. org
|
电子邮件:
|
|
美国SIC代码(标准工业分类代码) :
|
731304
|
美国的SIC描述:
|
Media Brokers
|
员工人数:
|
|
销售金额:
|
|
信用记录:
信用报告:
|
|
联系人:
|
|
Remove my name
|
复制并粘贴谷歌地图到您的网站或博客!
按复制按钮,粘贴到您的博客或网站.
(张贴到您的博客时,请切换到“ HTML”模式. Examples:
WordPress Example, Blogger Example)
|
公司新闻:
|