OnlineWoerterBuecher.de
Internes

Free On-line Dictionary of Computing: Search Results

Search Results for: quantifier



Results in the term's title:

·  existential quantifier
·  quantifier
·  universal quantifier


Results in the term's text:

·  bound variable
·  equational logic
·  existential quantifier
·  first-order logic
·  formula
·  free variable
·  generic type variable
·  LPS
·  predicate logic
·  Quest
·  Qu-Prolog
·  SETL
·  skolemisation
·  universal quantifier


  


[ 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.0482 Seconds, with 15 Database-Queries
Zurück zur Startseite