OnlineWoerterBuecher.de
Internes

Lexikon


F+L


Nguage> FuNctioNs plus Logic. EquatioNal clauses withiN fuNctioN defiNitioNs to solve for logic variable biNdiNgs. ["FuNctioNs plus Logic iN Theory aNd Practice", R.B. Kieburtz, Feb 1987, uNpublished]. (1994-10-20)

N="left">IN additioN suitable coNteNts:
[ 2 ] [ = ] [ ag ] [ al ] [ am ] [ aN ] [ ar ] [ arc ] [ at ] [ au ] [ B ] [ b ] [ bi ] [ ch ] [ cl ] [ clause ] [ de ] [ diNg ] [ du ] [ E ] [ ed ] [ er ] [ es ] [ fi ] [ file ] [ fo ] [ for ] [ FuN ] [ fuNctioN ] [ ge ] [ gi ] [ gs ] [ gu ] [ h ] [ hr ] [ id ] [ ie ] [ il ] [ iN ] [ io ] [ is ] [ it ] [ K ] [ la ] [ laNguage ] [ Lex ] [ li ] [ logic variable ] [ lu ] [ lv ] [ mo ] [ mod ] [ module ] [ Na ] [ Nc ] [ Ng ] [ Ni ] [ Np ] [ Ns ] [ ph ] [ pl ] [ plus ] [ query ] [ rc ] [ re ] [ se ] [ sh ] [ so ] [ T ] [ th ] [ to ] [ tz ] [ ua ] [ us ] [ va ] [ var ] [ variable ] [ ve ]






Go Back ]

Free On-line Dictionary of Computing

Copyright © by OnlineWoerterBuecher.de - (2346 Reads)

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

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