Vote for your favorite mineral in #MinCup25! - Taenite vs. Nontronite
It's a mineral found mostly in the farthest reaches of space vs one so common an exhaustive list of localities is nigh impossible as alloy #taenite faces off against clay #nontronite.
Log InRegister
Quick Links : The Mindat ManualThe Rock H. Currier Digital LibraryMindat Newsletter [Free Download]
Home PageAbout MindatThe Mindat ManualHistory of MindatCopyright StatusWho We AreContact UsAdvertise on Mindat
Donate to MindatCorporate SponsorshipSponsor a PageSponsored PagesMindat AdvertisersAdvertise on Mindat
Learning CenterWhat is a mineral?The most common minerals on earthInformation for EducatorsMindat ArticlesThe ElementsThe Rock H. Currier Digital LibraryGeologic Time
Minerals by PropertiesMinerals by ChemistryAdvanced Locality SearchRandom MineralRandom LocalitySearch by minIDLocalities Near MeSearch ArticlesSearch GlossaryMore Search Options
Search For:
Mineral Name:
Locality Name:
Keyword(s):
 
The Mindat ManualAdd a New PhotoRate PhotosLocality Edit ReportCoordinate Completion ReportAdd Glossary Item
Mining CompaniesStatisticsUsersMineral MuseumsClubs & OrganizationsMineral Shows & EventsThe Mindat DirectoryDevice SettingsThe Mineral Quiz
Photo SearchPhoto GalleriesSearch by ColorNew Photos TodayNew Photos YesterdayMembers' Photo GalleriesPast Photo of the Day GalleryPhotography

Periyasamy, K. (1996) High-Level Text on Higher Order Logic. IEEE Software, 13 (1) 117 doi:10.1109/ms.1996.476302

Advanced
   -   Only viewable:
Reference TypeJournal (article/letter/editorial)
TitleHigh-Level Text on Higher Order Logic
JournalIEEE Software
AuthorsPeriyasamy, K.Author
Year1996 (January)Volume13
Issue1
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
DOIdoi:10.1109/ms.1996.476302Search in ResearchGate
Generate Citation Formats
Mindat Ref. ID15419797Long-form Identifiermindat:1:5:15419797:1
GUID0
Full ReferencePeriyasamy, K. (1996) High-Level Text on Higher Order Logic. IEEE Software, 13 (1) 117 doi:10.1109/ms.1996.476302
Plain TextPeriyasamy, K. (1996) High-Level Text on Higher Order Logic. IEEE Software, 13 (1) 117 doi:10.1109/ms.1996.476302
In(1996, January) IEEE Software Vol. 13 (1) Institute of Electrical and Electronics Engineers (IEEE)

See Also

These are possibly similar items as determined by title/reference text matching only.

Anderson, P. (1996) Exploring Cryptic Text Algorithms [Bookshelf]. IEEE Software, 13 (4) 136-137 doi:10.1109/ms.1996.526846
Kusmiss, J.M. (1996) Informal Survey of Software Fault Tolerance in Distributed Systems. IEEE Software, 13 (1) 117 doi:10.1109/ms.1996.476301
Nahouraii, E., Kavi, K. (1996) Software Tools Assessment. IEEE Software, 13 (5) 23 doi:10.1109/ms.1996.536455
Horch, J.W. (1996) Thorough Look at Software Inspection. IEEE Software, 13 (1) 116 doi:10.1109/ms.1996.476300
(1996) Author index. IEEE Software, 13 (6) 92 doi:10.1109/ms.1996.542299
(1996) Subject Index. IEEE Software, 13 (6) 84 doi:10.1109/ms.1996.542298
Pfleeger, S.L. (1996) Workshop Defines Problems with Software-Engineering Data. IEEE Software, 13 (1) 109 doi:10.1109/ms.1996.476298
Burgess, A. (1996) Patent-Infringement Suit Filed. IEEE Software, 13 (1) 106 doi:10.1109/ms.1996.476296
Biggerstaff, T.J. (1996) 1995 Best Practice Award. IEEE Software, 13 (1) 6 doi:10.1109/ms.1996.476279
Kishida, K. (1996) Managing Megaprojects: A Free-Form Approach. IEEE Software, 13 (4) 29 doi:10.1109/ms.1996.526829
Pei Hsia, (1996) Making Software Development Visible. IEEE Software, 13 (3) 23 doi:10.1109/ms.1996.493016
 
and/or  
Mindat.org is an outreach project of the Hudson Institute of Mineralogy, a 501(c)(3) not-for-profit organization.
Copyright © mindat.org and the Hudson Institute of Mineralogy 1993-2025, except where stated. Most political location boundaries are Β© OpenStreetMap contributors. Mindat.org relies on the contributions of thousands of members and supporters. Founded in 2000 by Jolyon Ralph.
To cite: Ralph, J., Von Bargen, D., Martynov, P., Zhang, J., Que, X., Prabhu, A., Morrison, S. M., Li, W., Chen, W., & Ma, X. (2025). Mindat.org: The open access mineralogy database to accelerate data-intensive geoscience research. American Mineralogist, 110(6), 833–844. doi:10.2138/am-2024-9486.
Privacy Policy - Terms & Conditions - Contact Us / DMCA issues - Report a bug/vulnerability Current server date and time: September 15, 2025 00:24:32
Go to top of page