This first volume of the Handbook of Automated Reasoning includes topics such as: the early history of automated deduction, classical logic resolution theorem proving, and...
V monografii na osnove individualizirovannoy (terapevticheskiorientirovannoy) matematicheskoy modeli krovoobrashcheniya cheloveka razrabotany algoritmy upravleniya gemodinamicheskimi kharakteristikami bol'nykh s serdechnoy dekompensatsiey, pozvolivshie realilovat' kompleks komp'yuternykh programm podderzhki...
This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues all over the world and covers all the fields to which...
Analiziruyutsya neskol'ko izvestnykh v opisatel'nom neyroanatomicheskom plane fenomenov, kharakterizuyushchikh zritel'nyy put' u zhivotnykh i cheloveka. Imi yavlyayutsya: IS inversiya setchatki (u pozvonochnykh); IP ipsilateral'nyy perekrest...
Sale price$86.08Regular price$122.97
Quantity
Add to cart
Recently viewed products
<div class="dynamic-checkout__content" id="dynamic-checkout-cart" data-shopify="dynamic-checkout-cart"> <shopify-accelerated-checkout-cart wallet-configs="[{"name":"shop_pay","wallet_params":{"shopId":73758048501,"merchantName":"Ergodebooks","personalized":true}},{"name":"amazon_pay","wallet_params":{"checkoutLanguage":"en_US","ledgerCurrency":"USD","placement":"Cart","sandbox":false,"merchantId":"A1G1ZY975O1T6J","productType":"PayAndShip","design":"C0002"}},{"name":"paypal","wallet_params":{"shopId":73758048501,"countryCode":"US","merchantName":"Ergodebooks","phoneRequired":true,"companyRequired":false,"shippingType":"shipping","shopifyPaymentsEnabled":true,"hasManagedSellingPlanState":null,"requiresBillingAgreement":false,"merchantId":"TFGLCKQ7YEVTA","sdkUrl":"https://www.paypal.com/sdk/js?components=buttons\u0026commit=false\u0026currency=USD\u0026locale=en_US\u0026client-id=AfUEYT7nO4BwZQERn9Vym5TbHAG08ptiKa9gm8OARBYgoqiAJIjllRjeIMI4g294KAH1JdTnkzubt1fr\u0026merchant-id=TFGLCKQ7YEVTA\u0026intent=authorize"}}]" access-token="c0f52a66b386e9fa5c0ab4c2febc737c" buyer-country="US" buyer-locale="en" buyer-currency="USD" shop-id="73758048501" cart-id="95e62fbc5b9bf4665afd6129fe28898d" enabled-flags="["1b55bc27","2d75a54c"]" > <div class="wallet-button-wrapper"> <ul class='wallet-cart-grid wallet-cart-grid--skeleton' role="list" data-shopify-buttoncontainer="true"> <li data-testid='grid-cell' class='wallet-cart-button-container'><div class='wallet-cart-button wallet-cart-button__skeleton' role='button' disabled aria-hidden='true'> </div></li><li data-testid='grid-cell' class='wallet-cart-button-container'><div class='wallet-cart-button wallet-cart-button__skeleton' role='button' disabled aria-hidden='true'> </div></li><li data-testid='grid-cell' class='wallet-cart-button-container'><div class='wallet-cart-button wallet-cart-button__skeleton' role='button' disabled aria-hidden='true'> </div></li> </ul> </div> </shopify-accelerated-checkout-cart> <small id="shopify-buyer-consent" class="hidden" aria-hidden="true"> One or more of the items in your cart is a recurring or deferred purchase. By continuing, I agree to the <span id="shopify-subscription-policy-button">cancellation policy</span> and authorize you to charge my payment method at the prices, frequency and dates listed on this page until my order is fulfilled or I cancel, if permitted. </small> </div>
Stay in the know
Subscribe to our newsletter and stay updated on latest offers, discounts and events near you.
This first volume of the Handbook of Automated Reasoning includes topics such as: the early history of automated deduction, classical logic resolution theorem proving, and...
V monografii na osnove individualizirovannoy (terapevticheskiorientirovannoy) matematicheskoy modeli krovoobrashcheniya cheloveka razrabotany algoritmy upravleniya gemodinamicheskimi kharakteristikami bol'nykh s serdechnoy dekompensatsiey, pozvolivshie realilovat' kompleks komp'yuternykh programm podderzhki...
This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues all over the world and covers all the fields to which...
Analiziruyutsya neskol'ko izvestnykh v opisatel'nom neyroanatomicheskom plane fenomenov, kharakterizuyushchikh zritel'nyy put' u zhivotnykh i cheloveka. Imi yavlyayutsya: IS inversiya setchatki (u pozvonochnykh); IP ipsilateral'nyy perekrest...
Sale price$86.08Regular price$122.97
Quantity
Add to cart
Recently viewed products
Choosing a selection results in a full page refresh.