Login
Abbr
.com
Abbr
eviations.com
Search Acronyms & Abbreviations:
abbreviation » word
word » abbreviation
word in definition
Meta Search
Shopping
The Web
random entry
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
#
just added
found
3
results for
Interactive Mathematical Proofs
:
«
Click here for Top Sellers
»
Category Filter:
All (3)
Books (3)
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Sci...
Price:
$69.95
$37.46
Click here for more details
Mechanical linkages, interactive geometry software, and argumentation: Supporting a c...
Price:
$102.00
$95.38
Click here for more details
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theo...
Price:
$53.00
$45.70
Click here for more details
Home
|
Add New Abbreviation
|
Your List
|
Tools
|
Become an Editor
|
Tell a Friend
|
Links
|
Awards
|
Testimonials
|
Press
|
News
|
APIs
new!
|
About
Copyright ©2004-2007
STANDS4 LLC. All rights reserved.
Terms of Use
|
Privacy Policy
|
Contact Us
