Dictionary
Translation
Tools
Word list
Emoticon dictionary
Firefox search plugin
VDict bookmarklet
VDict on your site
About
About
FAQ
Privacy policy
Contact us
Options
Change Typing Mode
Delete history
View history
Tiếng Việt
Lookup
Lookup
Computing (FOLDOC)
English - Vietnamese
Vietnamese - English
Vietnamese - Vietnamese
Vietnamese - French
French - Vietnamese
Computing
English - English
Chinese - Vietnamese
Enter text to translate (200 characters maximum)
Translate now
Translate now
Search in:
Word
Vietnamese keyboard:
Off
Virtual keyboard:
Show
Translation
powered by
search result for proof system in Computing (FOLDOC) dictionary
First
< Previous
1
2
3
4
5
6
7
Next >
Last
intuitionistic logic
proof
Nuprl
constructive
drool-proof paper
four colour map theorem
General Recursion Theorem
Nightmare File System
PRL
exercise, left as an
Clausal Language
Operating System/360
file system
system management
Isabelle
Tape Operating System
system software
cutover
real operating system
TABLOG
OS
natural language
OS/2
Debian
HOL
deductive tableau
IFS
natural deduction
BOS
Virtual Machine
System/360
System V
System R
An Evolutionary System for On-line Programming
system call
tight loop
Disk Operating System
embedded system
fsck
USL
AS/400
hierarchical file system
TOS
system administration
CTOS
reverse engineering
crash
Object management system
system
UnixWare
system testing
network operating system
fatal exception
mount
A/UX
E-carrier system
microkernel
wheel bit
Initial Program Load
Distributed Data Management
second-system effect
desktop manager
Job Entry System
fatal error
root
microfortnight
SL
New Storage System
Sue
Knowledge Management System
Macintosh Operating System
NSS
COLINGO
ML
Distributed Network Operating System
exec
Automatic Mathematical TRANslation
spawn
IRIX
DTSS
First
< Previous
1
2
3
4
5
6
7
Next >
Last