OnlineWoerterBuecher.de
Internes

Lexikon


skolemisation


A means of removing quantifiers from first order logic formulas. [Details?]

In addition suitable contents:
[ = ] [ ai ] [ am ] [ an ] [ ar ] [ arc ] [ as ] [ ch ] [ D ] [ de ] [ du ] [ er ] [ et ] [ fi ] [ file ] [ fo ] [ for ] [ formula ] [ fr ] [ gi ] [ h ] [ hr ] [ id ] [ ie ] [ il ] [ in ] [ ir ] [ la ] [ Lex ] [ ls ] [ mo ] [ mod ] [ module ] [ mu ] [ na ] [ ng ] [ ns ] [ om ] [ ph ] [ quantifier ] [ query ] [ rc ] [ re ] [ ro ] [ se ] [ st ] [ ua ] [ vi ]






Go Back ]

Free On-line Dictionary of Computing

Copyright © by OnlineWoerterBuecher.de - (1590 Reads)

All logos and trademarks in this site are property of their respective owner.

Page Generation in 0.0918 Seconds, with 17 Database-Queries
Zurück zur Startseite