类似的网站 Axiomaticlanguage.Org
Axiomatic Language Home Page
描述: A minimal, pure specification logic programming language with meta-language capability.
热门搜索: axiomaticlanguage
网站评级:
3.0 / 5.0, 审阅 Sites Like Search
语: English
网站主题: programming
Listing of the conferences from 1989 to 2002 with links to the proceedings' TOCs. Also some workshops and homepages.
网站评级:
3.0 / 5.0, 语: English
A research-oriented Logic Programming system for Unix and Windows/DOS-based systems, representing a semantically enriched functional superset of Prolog and offering ...
网站评级:
3.0 / 5.0, 语: English
Books, conferences, and other information about Visual FoxPro and related technologies.
网站评级:
3.0 / 5.0, 语: English
Maude is a reflective language based on equational rewrite principles, useful for modeling and solving a wide range of computational problems.
网站评级:
3.0 / 5.0, 语: English
All about SNOBOL4 and SPITBOL, compilers and interpreter for a text-processing, pattern-matching programming language.
网站评级:
3.0 / 5.0, 语: English
TKK, Ohjelmistotekniikan laboratorio
网站评级:
3.0 / 5.0, 语: English
The B&B Borgo Ponte dell'Asse, nestled in the charming Tuscan countryside is ideal for those who love to spend pleasant days discovering the treasures of its ...
网站评级:
3.0 / 5.0, 语: Italiano
Free, secure and fast downloads from the largest Open Source applications and software directory - SourceForge.net
网站评级:
4.5 / 5.0, 语: English