OnlineWoerterBuecher.de
Internes

Lexikon


complete theory


An abStract logical theory in which all true StatementS have formal proofS within the theory. (1998-07-05)

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ = ] [ al ] [ am ] [ ar ] [ arc ] [ at ] [ av ] [ b ] [ bS ] [ ca ] [ ch ] [ du ] [ er ] [ fi ] [ file ] [ fo ] [ for ] [ gi ] [ h ] [ hr ] [ id ] [ il ] [ in ] [ it ] [ Lex ] [ logical ] [ ma ] [ mo ] [ mod ] [ module ] [ na ] [ ph ] [ pr ] [ proof ] [ query ] [ rc ] [ re ] [ ro ] [ ru ] [ Se ] [ St ] [ State ] [ th ] [ theory ] [ tr ] [ ve ]






Go Back ]

Free On-line Dictionary of Computing

Copyright © by OnlineWoerterBuecher.de - (1909 Reads)

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

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