231 search results - page 1 / 47 » A Brief Overview of HOL4 |
TPHOL
2008
IEEE
13 years 11 months ago
2008
IEEE
The HOL4 proof assistant supports specification and proof in classical higher order logic. It is the latest in a long line of similar systems. In this short overview, we give an o...
ENTCS
2011
12 years 11 months ago
2011
This paper gives a brief overview of the work on translating natural language sentences into logic done at PARC and distills a few simple-minded lessons. Then we turn our attentio...
ISMVL
1998
IEEE
13 years 8 months ago
1998
IEEE
This paper provides a brief overview of semiconductor memory design from the perspective of the impact multiplevalued circuit techniques are making on modern day implementations. ...
ADBIS
2000
Springer
13 years 9 months ago
2000
Springer
The paper provides brief analysis of recent research activities in database area in Russia. Activities of the Moscow ACM SIGMOD Chapter are characterized, emphasizing organization ...
UML
2001
Springer
13 years 9 months ago
2001
Springer
: Agile Modeling (AM) is a practice-based methodology for effective modeling of software-based systems. Where the Unified Modeling Language (UML) defines a subset of the modeling t...