<--- Back to Details
First PageDocument Content
Lisp programming language / Functional languages / Automated theorem proving / ACL2 / XML / Literate programming / DocBook / Nqthm / Proof assistant / Computing / Markup languages / Technical communication
Date: 2003-07-07 13:20:50
Lisp programming language
Functional languages
Automated theorem proving
ACL2
XML
Literate programming
DocBook
Nqthm
Proof assistant
Computing
Markup languages
Technical communication

Add to Reading List

Source URL: www.cs.utexas.edu

Download Document from Source Website

File Size: 100,70 KB

Share Document on Facebook

Similar Documents

Computing / Software engineering / Programming language comparisons / Control flow / DBLP / University of Trier / Constructor / Entry point / Foreach loop

DBLP XML Requests Appendix to the paper “DBLP — Some Lessons Learned” (June 17, 2009) Michael Ley Universitat ¨ Trier, Informatik D–54286 Trier

DocID: 1xUuS - View Document

Elections / Voting / Politics / Government / Voter registration / Voter Identification laws / Absentee ballot / Provisional ballot / Helios Voting / Jennifer Brunner

DAZzle Designer - PRINT.XML 1

DocID: 1xTYs - View Document

PDF Document

DocID: 1xDVC - View Document

OMNIVA XML DATA EXCHANGE SPECIFICATION- versionOMNIVA XML DATA EXCHANGE SPECIFICATION TABLE OF CONTENTS

DocID: 1vshA - View Document

SeaDataNet metadata profile of ISO 19115 – XML encoding Author: Enrico Boldrini (CNR - Institute of Atmospheric Pollution Research) Editor: Stefano Nativi (CNR - Institute of Atmospheric Pollution Research) Date: 2013-

DocID: 1vsc1 - View Document