Computer Facilities for Isabelle Data Handling
doi 10.2172/5337211
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 1977
Authors
Publisher
Office of Scientific and Technical Information (OSTI)
Available in full text
January 1, 1977
Office of Scientific and Technical Information (OSTI)