OnlineWoerterBuecher.de
Internes

Free On-line Dictionary of Computing: Search Results

Search Results for: proof



Results in the term's title:

·  bulletproof
·  drool-proof paper
·  proof
·  PROOF/L
·  proof theory


Results in the term's text:

·  acoustic coupler
·  armour-plated
·  AUTOMATH
·  axiom
·  B
·  Baroque
·  B-Toolkit
·  Cantor
·  Carl Friedrich Gauss
·  Clausal Language
·  complete theory
·  constructive
·  countable
·  Debian
·  deductive tableau
·  delta
·  documentation
·  drool-proof paper
·  DWIM
·  epsilon
·  exercise, left as an
·  Fermat prime
·  flame
·  formal methods
·  four colour map theorem
·  General Recursion Theorem
·  HOL
·  induction
·  intuitionistic logic
·  Isabelle
·  lemma
·  linear logic
·  Lisp
·  Logic for Computable Functions
·  Macintrash
·  menuitis
·  metalanguage
·  ML
·  natural deduction
·  natural language
·  Nightmare File System
·  Nuprl
·  Optical Character Recognition
·  OS/2
·  penis war
·  philosophy
·  point-and-drool interface
·  polymorphic lambda-calculus
·  PPLambda
·  prime number theorem
·  PRL
·  proof
·  robust
·  room-temperature IQ
·  Russell' s Paradox
·  Software Verification Research Centre
·  TABLOG
·  toy language
·  Turing Machine
·  user-friendly


  


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