Skip to content
Welcome to our store
Home
Catalog
Contact
Log in
Country/region
United States | USD $
Search
Afghanistan
USD $
Albania
USD $
Algeria
USD $
Angola
USD $
Anguilla
USD $
Antigua & Barbuda
USD $
Argentina
USD $
Armenia
USD $
Aruba
USD $
Australia
USD $
Azerbaijan
USD $
Bahamas
USD $
Bahrain
USD $
Bangladesh
USD $
Barbados
USD $
Benin
USD $
Bhutan
USD $
Bolivia
USD $
Bosnia & Herzegovina
USD $
Botswana
USD $
Brazil
USD $
British Virgin Islands
USD $
Burkina Faso
USD $
Burundi
USD $
Cambodia
USD $
Cameroon
USD $
Canada
USD $
Cape Verde
USD $
Cayman Islands
USD $
Chad
USD $
Chile
USD $
Colombia
USD $
Comoros
USD $
Congo - Brazzaville
USD $
Congo - Kinshasa
USD $
Costa Rica
USD $
Côte d’Ivoire
USD $
Curaçao
USD $
Djibouti
USD $
Dominica
USD $
Dominican Republic
USD $
Ecuador
USD $
Egypt
USD $
El Salvador
USD $
Eswatini
USD $
Ethiopia
USD $
Fiji
USD $
Gabon
USD $
Gambia
USD $
Georgia
USD $
Ghana
USD $
Gibraltar
USD $
Grenada
USD $
Guatemala
USD $
Guinea
USD $
Guinea-Bissau
USD $
Guyana
USD $
Haiti
USD $
Honduras
USD $
Hong Kong SAR
USD $
Iceland
USD $
India
USD $
Indonesia
USD $
Iraq
USD $
Israel
USD $
Jamaica
USD $
Japan
USD $
Jordan
USD $
Kazakhstan
USD $
Kenya
USD $
Kuwait
USD $
Kyrgyzstan
USD $
Lebanon
USD $
Lesotho
USD $
Liberia
USD $
Liechtenstein
USD $
Macao SAR
USD $
Madagascar
USD $
Malawi
USD $
Malaysia
USD $
Mali
USD $
Mauritania
USD $
Mexico
USD $
Moldova
USD $
Monaco
USD $
Montenegro
USD $
Montserrat
USD $
Morocco
USD $
Mozambique
USD $
Namibia
USD $
Nepal
USD $
New Caledonia
USD $
New Zealand
USD $
Nicaragua
USD $
Niger
USD $
Nigeria
USD $
North Macedonia
USD $
Oman
USD $
Pakistan
USD $
Palestinian Territories
USD $
Panama
USD $
Paraguay
USD $
Peru
USD $
Philippines
USD $
Qatar
USD $
Rwanda
USD $
Samoa
USD $
San Marino
USD $
Saudi Arabia
USD $
Senegal
USD $
Serbia
USD $
Seychelles
USD $
Sierra Leone
USD $
Singapore
USD $
Sint Maarten
USD $
South Africa
USD $
South Korea
USD $
Sri Lanka
USD $
St. Kitts & Nevis
USD $
St. Lucia
USD $
St. Vincent & Grenadines
USD $
Suriname
USD $
Svalbard & Jan Mayen
USD $
Switzerland
USD $
Taiwan
USD $
Tanzania
USD $
Thailand
USD $
Timor-Leste
USD $
Togo
USD $
Trinidad & Tobago
USD $
Tristan da Cunha
USD $
Tunisia
USD $
Türkiye
USD $
Turks & Caicos Islands
USD $
Uganda
USD $
United States
USD $
Vatican City
USD $
Venezuela
USD $
Vietnam
USD $
Zambia
USD $
Zimbabwe
USD $
Barnes & Noble (DEV)
Home
Catalog
Contact
Country/region
United States | USD $
Search
Afghanistan
USD $
Albania
USD $
Algeria
USD $
Angola
USD $
Anguilla
USD $
Antigua & Barbuda
USD $
Argentina
USD $
Armenia
USD $
Aruba
USD $
Australia
USD $
Azerbaijan
USD $
Bahamas
USD $
Bahrain
USD $
Bangladesh
USD $
Barbados
USD $
Benin
USD $
Bhutan
USD $
Bolivia
USD $
Bosnia & Herzegovina
USD $
Botswana
USD $
Brazil
USD $
British Virgin Islands
USD $
Burkina Faso
USD $
Burundi
USD $
Cambodia
USD $
Cameroon
USD $
Canada
USD $
Cape Verde
USD $
Cayman Islands
USD $
Chad
USD $
Chile
USD $
Colombia
USD $
Comoros
USD $
Congo - Brazzaville
USD $
Congo - Kinshasa
USD $
Costa Rica
USD $
Côte d’Ivoire
USD $
Curaçao
USD $
Djibouti
USD $
Dominica
USD $
Dominican Republic
USD $
Ecuador
USD $
Egypt
USD $
El Salvador
USD $
Eswatini
USD $
Ethiopia
USD $
Fiji
USD $
Gabon
USD $
Gambia
USD $
Georgia
USD $
Ghana
USD $
Gibraltar
USD $
Grenada
USD $
Guatemala
USD $
Guinea
USD $
Guinea-Bissau
USD $
Guyana
USD $
Haiti
USD $
Honduras
USD $
Hong Kong SAR
USD $
Iceland
USD $
India
USD $
Indonesia
USD $
Iraq
USD $
Israel
USD $
Jamaica
USD $
Japan
USD $
Jordan
USD $
Kazakhstan
USD $
Kenya
USD $
Kuwait
USD $
Kyrgyzstan
USD $
Lebanon
USD $
Lesotho
USD $
Liberia
USD $
Liechtenstein
USD $
Macao SAR
USD $
Madagascar
USD $
Malawi
USD $
Malaysia
USD $
Mali
USD $
Mauritania
USD $
Mexico
USD $
Moldova
USD $
Monaco
USD $
Montenegro
USD $
Montserrat
USD $
Morocco
USD $
Mozambique
USD $
Namibia
USD $
Nepal
USD $
New Caledonia
USD $
New Zealand
USD $
Nicaragua
USD $
Niger
USD $
Nigeria
USD $
North Macedonia
USD $
Oman
USD $
Pakistan
USD $
Palestinian Territories
USD $
Panama
USD $
Paraguay
USD $
Peru
USD $
Philippines
USD $
Qatar
USD $
Rwanda
USD $
Samoa
USD $
San Marino
USD $
Saudi Arabia
USD $
Senegal
USD $
Serbia
USD $
Seychelles
USD $
Sierra Leone
USD $
Singapore
USD $
Sint Maarten
USD $
South Africa
USD $
South Korea
USD $
Sri Lanka
USD $
St. Kitts & Nevis
USD $
St. Lucia
USD $
St. Vincent & Grenadines
USD $
Suriname
USD $
Svalbard & Jan Mayen
USD $
Switzerland
USD $
Taiwan
USD $
Tanzania
USD $
Thailand
USD $
Timor-Leste
USD $
Togo
USD $
Trinidad & Tobago
USD $
Tristan da Cunha
USD $
Tunisia
USD $
Türkiye
USD $
Turks & Caicos Islands
USD $
Uganda
USD $
United States
USD $
Vatican City
USD $
Venezuela
USD $
Vietnam
USD $
Zambia
USD $
Zimbabwe
USD $
Search
Log in
Cart
Item added to your cart
View cart
Check out
Continue shopping
Skip to product information
Open media 1 in modal
1
/
of
1
Elsevier Science
Handbook of Automated Reasoning
Handbook of Automated Reasoning
Regular price
$505.00 USD
Regular price
Sale price
$505.00 USD
Sale
Sold out
Shipping
calculated at checkout.
Quantity
Quantity
(
0
in cart)
Decrease quantity for Handbook of Automated Reasoning
Increase quantity for Handbook of Automated Reasoning
Add to cart
Couldn't load pickup availability
Refresh
Handbook of Automated Reasoning
Share
Share
Link
Close share
Copy link
View full details
Choosing a selection results in a full page refresh.
Opens in a new window.
