Go Top
Book Search and Price Comparison
ISBN
Title
Author
Keyword
Home
Book reviews
Memo
Used Book Memo
Saved Search
New Book Memo
Contact
☰
G. Dowek
1.
Theorem Proving in High Order Logics: 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings
Author:
France) Tphols 9 (1999 Nice
-
Author:
Yves Bertot
-
Editor:
G. Dowek
-
Editor:
C. Paulin
-
Editor:
J. Hartmanis
-
Editor:
Yves Bertot
ISBN:
3540664637
ISBN13:
9783540664635
Binding:
Paperback
List Price:
$82.95
Publisher:
Springer Verlag
Published Date:
11/01/1999
Search by Title
Search by Author
Search by ISBN
Search by Keyword
Shipping Destination:
Continental United States
APO or FPO
Alaska or Hawaii
U.S. Virgin Islands
Puerto Rico
Canada
Mexico
Latin American Country
Europe
Austria
Belgium
France
Germany
Great Britain
Liechtenstein
Luxembourg
Netherlands
Switzerland
Other European Country
Asian and Pacific Islands
Guam
Israel
Other Asian Country
Australasia
Australia
New Zealand
Africa
US State
AK - Alaska
AL - Alabama
AR - Arkansas
AZ - Arizona
CA - California
CO - Colorado
CT - Connecticut
DC - District of Columbia
DE - Delaware
FL - Florida
GA - Georgia
GU - Guam
HI - Hawaii
IA - Iowa
ID - Idaho
IL - Illinois
IN - Indiana
KS - Kansas
KY - Kentucky
LA - Louisiana
MA - Massachusetts
MD - Maryland
ME - Maine
MI - Michigan
MN - Minnesota
MO - Missouri
MS - Mississippi
MT - Montana
NC - North Carolina
ND - North Dakota
NE - Nebraska
NV - Nevada
NH - New Hampshire
NJ - New Jersey
NM - New Mexico
NY - New York
OH - Ohio
OK - Oklahoma
OR - Oregon
PA - Pennsylvania
PR - Puerto Rico
RI - Rhode Island
SC - South Carolina
SD - South Dakota
TN - Tennessee
TX - Texas
UT - Utah
VA - Virginia
VT - Vermont
WA - Washington
WI - Wisconsin
WV - West Virginia
WY - Wyoming
Display Currency in
US$
EURO
Australian$
Canadian$
Indian Rupee
Japanese ¥en
Swiss Franc
Taiwan NT
New Zealand
Singapore$
S. Africa Rand
Swedish Krona
UK£
Search New Books
Start Over
[
Privacy policy
]
Copyright © 1998-
, Addall.com Pte Ltd. All rights reserved.
