DocumentCode

1086897

Title

High-Level Text on Higher Order Logic

Author

Periyasamy, K.

Volume

13

Issue

1

fYear

1996

Firstpage

117

Keywords

Books; Libraries; Logic; Manuals; Mathematics; Program processors;

fLanguage

English

Journal_Title

Software, IEEE

Publisher

ieee

ISSN

0740-7459

Type

jour

DOI

10.1109/MS.1996.476302

Filename

476302