Accessibility navigation

A New Interface to PVS

Lists
Tools

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.

Full text not archived in this repository.

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

Official URL: http://www.calculemus.net/meetings/rome03/adams.pd...


Item Type:Book or Report Section
Refereed:Yes
Divisions:Science
ID Code:20
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
Deposit Details

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

Page navigation

See also