OnlineWoerterBuecher.de
Internes

Lexikon


skolemisation


A meanS of removing quantifierS from firSt order logic formulaS. [DetailS?]

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">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 - (1599 Reads)

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

Page Generation in 0.0851 Seconds, with 16 Database-Queries
Zurück zur Startseite