Back to Results
First PageMeta Content
Lisp programming language / Functional languages / Automated theorem proving / ACL2 / XML / Literate programming / DocBook / Nqthm / Proof assistant / Computing / Markup languages / Technical communication


Document Date: 2003-07-07 13:20:50

Open Document

File Size: 100,70 KB

Share Result on Facebook

Company

Kluwer Academic Press / /

/

Facility

XML Tools Ruben Gamboa Computer Science Department University / /

IndustryTerm

printing / approximation algorithm / research / literate programming tools / software tools / web publishing / mainstream programming technology / similar tools / extensible tool / literate programming tool / web file / /

Organization

University of Wyoming / /

ProgrammingLanguage

XML / Pascal / J / Common Lisp / HTML / /

ProvinceOrState

Wyoming / /

PublishedMedium

The Computer Journal / /

Technology

XML / SGML / mainstream programming technology / approximation algorithm / XML technology / HTML / web publishing / PDF / XSLT / /

URL

http /

SocialTag