OnlineWoerterBuecher.de
Internes

Free On-line Dictionary of Computing: Search Results

Search Results for: logic



Results in the term's title:

·  Algebraic Logic Functional language
·  Arithmetic and Logic Unit
·  asynchronous logic
·  Boolean logic
·  Cirrus Logic
·  classical logic
·  combinatory logic
·  complex programmable logic device
·  Constraint Logic Programming
·  Distributed Logic Programming
·  Emitter Coupled Logic
·  equational logic
·  first-order logic
·  F-Logic
·  fuzzy logic
·  Generic Array Logic
·  Gunning Transceiver Logic
·  Independent Logical File
·  Interest Group in Pure and Applied Logics
·  intuitionistic logic
·  intuitionist logic
·  linear logic
·  logical
·  logical address
·  Logical Block Addressing
·  logical complement
·  Logical Interchange Format
·  Logical Link Control
·  Logical Link Control and Adaptation Protocol
·  logical relation
·  logical shift
·  logical shift left
·  logical shift right
·  Logical Unit
·  Logical Unit 6.2
·  Logical Unit Number
·  logic bomb
·  Logic Design Language
·  logic emulator
·  Logic for Computable Functions
·  logic gate
·  logic programming
·  Logic Replacement Technology
·  logic variable
·  modal logic
·  neutrosophic logic
·  O-Logic
·  pathological
·  predicate logic
·  Programmable Array Logic
·  Programmable Logic Controller
·  propositional logic
·  shift left logical
·  shift right logical
·  Smarandache logic
·  symbolic logic
·  tautological probability
·  tautological set
·  temporal logic
·  Transistor-Transistor Logic
·  two-valued logic


Results in the term's text:

·  abduction
·  accumulator
·  Active Reconfiguring Message
·  AdLog
·  Advanced Micro Devices, Inc.
·  Advanced RISC Machine
·  AGL
·  Alan Turing
·  ALF
·  algebra
·  Algebraic Logic Functional language
·  Algorithmic Test Case Generation
·  ALLIANCE
·  ALLOY
·  Alonzo Church
·  ALPS
·  ALU
·  AND
·  Andorra-I
·  Andorra Kernel Language
·  applicative language
·  APPLOG
·  Arithmetic and Logic Unit
·  Artificial Life
·  artificial neural network
·  assertion
·  asynchronous logic
·  Atanasoff-Berry Computer
·  A' UM
·  Automated Retroactive Minimal Moderation
·  axiom
·  axiomatic set theory
·  BABEL
·  BABYLON
·  back door
·  backing store
·  backtracking
·  backward chaining
·  Baroque
·  BeBOP
·  egin
·  bindery
·  BinProlog
·  bioinformatics
·  bit-paired keyboard
·  bit stuffing
·  bitwise
·  BNR Prolog
·  bomb
·  Boolean
·  Boolean algebra
·  Boolean logic
·  bound variable
·  bring X to its knees
·  Built-in Self Test
·  C+-
·  canonical
·  cascade
·  cationic cocktail
·  cause-effect graphing
·  CELLSIM
·  Cellular Neural Network
·  CELP
·  central processing unit
·  channel service unit
·  Charme
·  CIRcuit CALculus
·  classical logic
·  clause
·  CLP
·  CLP*
·  CLP(R)
·  CLP(sigma*)
·  cognitive architecture
·  Colossus
·  colour
·  colour palette
·  combinator
·  combinatory logic
·  Common Lisp
·  complement
·  complete inference system
·  complete theory
·  complexity analysis
·  computational geometry
·  Conjunctive Normal Form
·  connective
·  Constraint Handling In Prolog
·  Constraint Logic Programming
·  constructive
·  content addressable memory
·  converse
·  copyright
·  CORAL
·  Core Protocol Stack
·  CP
·  CPLD
·  CS-Prolog
·  CTL
·  Cube
·  curried function
·  Cyc
·  cycle of reincarnation
·  DACAPO
·  DACTL
·  daemon
·  dark-side hacker
·  database
·  database analyst
·  Data Link Connection Identifier
·  data link layer
·  Data Link Provider Interface
·  data model
·  data set organization
·  data striping
·  dead code
·  declarative language
·  deductive database
·  definite clause
·  definite sentence
·  definitional constraint programming
·  Delphi Technique
·  Delta-Prolog
·  demon
·  DeMorgan' s theorem
·  Developmental Test and Evaluation
·  Digital Equipment Corporation
·  Disjunctive Normal Form
·  disk drive
·  Dissociated Press
·  Distributed Logic Programming
·  DLP
·  DLUR/DLUS
·  DS1C
·  D-type flip-flop
·  dynamic database management system
·  Dynamic Drive Overlay
·  Echidna
·  ECL
·  EDL
·  EIA-423
·  El Camino Bignum
·  Electronic Design Automation
·  ELP
·  Emitter Coupled Logic
·  Enterprise JavaBeans
·  entity-relationship model
·  EPILOG
·  EQLOG
·  EQLog
·  equational logic
·  error detection and correction
·  ET
·  Eureka
·  exception
·  exclamation mark
·  Extended Concurrent Prolog
·  fact
·  faradise
·  FGL+LV
·  field-programmable gate array
·  file system
·  Finite State Machine
·  first generation computer
·  first-order logic
·  fix
·  fixed point combinator
·  F+L
·  Fleng
·  flip-flop
·  F-Logic
·  fontology
·  fork bomb
·  for loop
·  formula
·  forward engineering
·  fractal
·  free variable
·  Fresh
·  functional unit
·  Function Point Analysis
·  FUNLOG
·  fuzzy computing
·  fuzzy logic
·  fuzzy subset
·  FYI4
·  G
·  GAL
·  GAPLog
·  gate
·  Generic Array Logic
·  Generic Expert System Tool
·  generic markup
·  George Boole
·  GigaHertz
·  gilley
·  glue
·  GNU archive site
·  goal
·  Goedel
·  Goffin
·  Gottlob Frege
·  gray code
·  green lightning
·  GRIB
·  GTL
·  guard
·  Gunning Transceiver Logic
·  handwave
·  hardware
·  Haskell Curry
·  HASL
·  HCLP
·  HCPRVR
·  hexadecimal
·  HiLog
·  HOL
·  horizontal encoding
·  Horn clause
·  hostname
·  IAS
·  IC-Prolog
·  IEEE 802
·  IEEE 802.2
·  iff
·  IGPL
·  IIL
·  ILF
·  implies
·  incremental constraint solver
·  induction
·  inference
·  Infinite Monkey Theorem
·  instantiation
·  integrated circuit
·  integrity constraint
·  Intel 80186
·  intelligent backtracking
·  intelligent terminal
·  Interest Group in Pure and Applied Logics
·  intuitionism
·  intuitionistic logic
·  intuitionistic probability
·  intuitionist logic
·  Isabelle
·  Janus
·  JavaServer Pages
·  JK flip-flop
·  John von Neumann
·  Joint Test Action Group
·  KAP
·  Kernel Parlog
·  KL0
·  knowledge
·  knowledge level
·  L2CAP
·  Lambada-Calculus
·  lambda-calculus
·  Lambda Prolog
·  latch
·  LAURE
·  LBA
·  LCF
·  LDL
·  LDL1
·  LDT
·  LEAF
·  Leda
·  LeFun
·  lemma
·  LGEN
·  LIF
·  LIFE
·  line
·  line 666
·  linear logic
·  linear type
·  LLC
·  LML
·  LO
·  L&O
·  log
·  logical
·  logical complement
·  logical shift
·  logical shift left
·  logical shift right
·  Logical Unit 6.2
·  Logical Unit Number
·  logic emulator
·  logic gate
·  logic programming
·  logic variable
·  LOGIN
·  logon
·  Lolli
·  LOOKS
·  LOP
·  LOTIS
·  LPG
·  LPS
·  LTL
·  LU6.2
·  LUN
·  LYaPAS
·  magic number
·  MALI
·  Mandala
·  MANTIS
·  markup
·  Media Access Control
·  Media Access Unit
·  megaflop
·  MegaHertz
·  meme
·  memory leak
·  metalanguage
·  microcode
·  microperation
·  microprocessor
·  Milarepa
·  mill
·  minicomputer
·  MIPS
·  MIPS Technologies, Inc.
·  ML
·  MLISP
·  MMI
·  moby
·  modal
·  modal logic
·  model checking
·  Modular Prolog
·  monitor
·  most general unifier
·  M-Prolog
·  MRS
·  mu
·  mudhead
·  multiplexing
·  Muse
·  Music
·  NAND
·  nanocomputer
·  nanosecond
·  natural deduction
·  neats vs. scruffies
·  negation by failure
·  NELIAC
·  neutrosophic logic
·  neutrosophic probability
·  neutrosophic set
·  neutrosophic statistics
·  Neutrosophy
·  New Storage System
·  NOR
·  northbridge
·  NOT
·  NPL
·  N-Prolog
·  OBJ0
·  ObjVProlog
·  Oc
·  occurs check
·  old fart
·  ones complement
·  On-Line Analytical Processing
·  ontology
·  operator
·  OR
·  orthogonal
·  Oz
·  PAL
·  Pandora
·  paraconsistent probability
·  paradox
·  Parlog
·  Parlog++
·  partition
·  pathological
·  PCI Mezzanine Card
·  PDL
·  Pentium
·  periodic group
·  physical
·  pin-out
·  PLC
·  PLD
·  PLTL
·  Polka
·  POOL2
·  port
·  postcardware
·  PowerFuL
·  PowerPC 601
·  PPLambda
·  P-Prolog
·  precedence lossage
·  predicate calculus
·  predicate logic
·  presence detect
·  primitive
·  PRISM
·  PRL
·  Probe
·  Programmable Array Logic
·  Prolog
·  Prolog++
·  Prolog-2
·  Prometheus
·  proof
·  proof theory
·  propositional calculus
·  propositional logic
·  Q
·  QDOS
·  QLOG
·  quantifier
·  Quantum-dot Cellular Automata
·  quine
·  Qu-Prolog
·  Quty
·  race condition
·  Random Access Memory Digital-to-Analog Converter
·  real estate
·  real number
·  REFINE
·  REGTRAL
·  resolution
·  retronym
·  RTL
·  Russell' s Paradox
·  SASL+LV
·  satisfiability problem
·  scan design
·  scan path
·  scan register
·  schematic capture
·  Science and Engineering Research Council
·  scratch monkey
·  screen scraper
·  second generation computer
·  sector interleave
·  sentence
·  Sequel
·  Sequential Parlog Machine
·  SEX
·  SFLV
·  shift left logical
·  shift right logical
·  Simulating Digital Systems
·  skolemisation
·  SLD resolution
·  Smarandache logic
·  sound
·  southbridge
·  SPEC CINT92
·  Spool
·  SR flip-flop
·  SRL
·  Standard ML of New Jersey
·  start bit
·  stemmer
·  Stephen Kleene
·  Stone Age
·  stored procedure
·  Strand
·  subject index
·  Subset-Equational Language
·  supercomputer
·  superpipelined
·  Sure
·  symbolic inference
·  symbolic logic
·  Systems Development Life Cycle
·  TABLOG
·  TAO
·  tautological probability
·  tautological set
·  tautology
·  TEMPLOG
·  temporal logic
·  Tempura
·  Terse
·  three-tier
·  time bomb
·  T. Kohonen
·  token bus
·  transistor
·  Transistor-Transistor Logic
·  Trilogy
·  Triton
·  true colour
·  truth table
·  TTL
·  Turbo Prolog
·  Turing tar-pit
·  Turing test
·  twos complement
·  two-valued logic
·  TypedProlog
·  TYPOL
·  unification
·  Universal algebra
·  Universal Serial Bus
·  UN*X
·  Uranus
·  vannevar
·  vertical encoding
·  Very Large Scale Integration
·  virtual
·  virtual connection
·  Virtual Local Area Network
·  virus
·  VULCAN
·  Wesley Clark
·  Western Digital Corporation
·  white box testing
·  Wild_LIFE
·  Windows 98
·  window shopping
·  Xilinx, Inc.
·  Xilinx Netlist Format
·  Z
·  zero
·  zeroth
·  zone
·  ZX-81


  


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