OnlineWoerterBuecher.de
Navigation
Start
Deutsch-Englisch
Deutsch-Spanisch
Enzyklopädie
Internes
Impressum
Kontakt
Free On-line Dictionary of Computing: Search Results
Search Results for:
first-order
Results in the term's title:
·
first-order
·
first-order logic
Results in the term's text:
·
BABEL
·
deductive database
·
equational logic
·
first-order logic
·
Isabelle
·
logic programming
·
LOP
·
LUCID
·
PPLambda
·
TEMPLOG
·
Universal algebra
[
Return to Free On-line Dictionary of Computing
]
[
Go Back
]
All logos and trademarks in this site are property of their respective owner.
Page Generation in 0.0558 Seconds, with 16 Database-Queries