Electronics Circuits & Tutorials

Home

About us

Electronic Tutorials

Engineering Hobby Projects

Online Dictionaries

Home > Electronics Tutorials > Online Computer Terms Dictionary > N

Online Computer Terms Dictionary - N

Nqthm

The language used in the Boyer-Moore theorem prover.

["Proving Theorems About LISP Functions", R.S. Boyer et al JACM 22(1):129-144 (Jan 1975)].

Nearby terms: N-Prolog « NP time « NQS « Nqthm » nr » NREN » nroff

Discover

Home

Electronic Tutorials

Engineering Hobby Projects

Resources Links

Sitemap

Copyright © 1999-2020 www.hobbyprojects.com (All rights reserved)