LIBRISTO
LIBROAMANTO
povinné
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
SPS 3.99 € Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto DPD 2.99 € Zberné miesto GLS 2.49 € SPS Parcel Shop 2.99 € Packeta 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 €

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Computational Logic and Set Theory

Applying Formalized Logic to Analysis

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Computational Logic and Set Theory Eugenio G Omodeo
Libristo kód: 09060410
Nakladateľstvo Springer London Ltd, september 2014
This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and... Celý popis
? points 122 b
50.25 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru


Mohlo by vás tiež zaujímať


Industrial IoT Application Architectures and Use Cases Nandagopal Malarvizhi / Kniha Pevná
common.buy 173.53 €
Introduction to MATLAB for Engineers and Scientists Dolores M. Etter / Kniha Brožovaná
common.buy 41.99 €
Handbook of Separation Process Technology Ronald W. Rousseau / Kniha Pevná
common.buy 545.09 €
Full Stack Recruiter Jan Tegze / Kniha Brožovaná
common.buy 28.80 €
Star Signs Embroidery Kathryn Chipinka Dalby / Kniha Brožovaná
common.buy 18.93 €
Top
Dragon Wisdom Christine Arana Fader / Tlačovina Karty
common.buy 15.20 €
IQ Puzzle For Adults Orlando Parker / Kniha Brožovaná
common.buy 10.16 €
Bakemonogatari (manga), Volume 9 Nisioisin / Kniha Brožovaná
common.buy 9.46 €
Stories on the Journey Peter Jankowski / Kniha Brožovaná
common.buy 14.39 €
Malware Data Science Joshua Saxe / Kniha Brožovaná
common.buy 56.39 €
CAESAR BORGIA: AN HISTORICAL ROMANCE EMMA ROBINSON / Kniha Pevná
common.buy 38.06 €
How much do yo know about... Frontenis Wanceulen Notebook / Kniha Brožovaná
common.buy 10.67 €
Essence of Malice Ashley Weaver / Kniha Brožovaná
common.buy 9.56 €
International Trade Finance Tarsem Bhogal / E-kniha Adobe ePub DRM
common.buy 69.18 €
Power of Hormones Dr Louise Newson / Kniha Pevná
common.buy 23.86 €

This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and set theory and its application to proof verification techniques. Covers the AetnaNova system, a program built to verify the correctness of mathematical proofs.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Computational Logic and Set Theory
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2014
Počet strán 416
EAN 9781447160182
ISBN 9781447160182
Libristo kód 09060410
Nakladateľstvo Springer London Ltd
Váha 659
Rozmery 155 x 23 x 24
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?