Advanced search

A New Interface to PVS

Download
Full text not archived in this repository.
Advice

Please see our End User Agreement.

It is advisable to refer to the publisher's version if you intend to cite from this work. See Guidance on citing.

Tools
Add to AnyAdd to TwitterAdd to FacebookAdd to LinkedinAdd to PinterestAdd to Email
Lists

Adams, A. A. (2003) A New Interface to PVS. In: Calculemus 2003. Symposium on the Integration of Symbolic Computation and Mechanized Reasoning. Aracne Editrice SRL, Rome, Rome, pp. 74-77.

Additional Information Calculemus 2003 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning In conjunction with TPHOLs 2003 and TABLEAUX 2003 Roma Italy – September 10-12, 2003 Version 1.5 of 2003, september 27
Item Type Book or Report Section
URI https://centaur.reading.ac.uk/id/eprint/20
Refereed Yes
Divisions Science
Additional Information Calculemus 2003 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning In conjunction with TPHOLs 2003 and TABLEAUX 2003 Roma Italy – September 10-12, 2003 Version 1.5 of 2003, september 27
Publisher Aracne Editrice SRL, Rome
Download/View statistics View download statistics for this item
Download
Full text not archived in this repository.
Tools
Add to AnyAdd to TwitterAdd to FacebookAdd to LinkedinAdd to PinterestAdd to Email
Advice

Please see our End User Agreement.

It is advisable to refer to the publisher's version if you intend to cite from this work. See Guidance on citing.

Lists
Deposit Details

University Staff: Request a correction | Centaur Editors: Update this record