phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 64 Kč Zásilkovna 44 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Handbook of Automated Reasoning

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Handbook of Automated Reasoning Alan J A Robinson
Libristo kód: 01329138
Nakladatelství Elsevier Science & Technology, června 2001
This second volume of Handbook of Automated Reasoning covers topics such as higher-order logic and l... Celý popis
? points 834 b
8 342 Kč
Skladem u dodavatele Odesíláme za 15-20 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

TOP
Real Book Hal Leonard Corporation / Brožovaná
common.buy 1 127 Kč
TOP
Institute Stephen King / Brožovaná
common.buy 298 Kč
TOP
Ace of Spades Faridah Abike-Iyimide / Brožovaná
common.buy 239 Kč
TOP
Hitorijime My Hero 10 / Brožovaná
common.buy 322 Kč
TOP
My Sister, the Serial Killer Oyinkan Braithwaite / Brožovaná
common.buy 220 Kč
Silent Companions Laura Purcell / Brožovaná
common.buy 259 Kč
Mathematical Origami / Brožovaná
common.buy 307 Kč
The Complete Guide to Astrology: Understanding Yourself, Your Signs, and Your Birth Chart / Brožovaná
common.buy 321 Kč
Crewel Embroidery Tatiana Popova / Brožovaná
common.buy 458 Kč
Powerful / Brožovaná
common.buy 210 Kč
Připravujeme
Neri Oxman: Mediated Matter PAOLA ANTONELLI / Brožovaná
common.buy 1 290 Kč
Alone at Dawn Lori Longfritz / Brožovaná
common.buy 359 Kč
LabVIEW Graphical Programming, Fifth Edition Richard Jennings / Brožovaná
common.buy 2 488 Kč
Cutting Edge 3rd Edition Intermediate Workbook without Key Damian Williams / Brožovaná
common.buy 700 Kč
Small Journal Butterflies / Diář
common.buy 200 Kč
Bible Verse Coloring Book for Adults: Christian Colouring Book To Soothe the Soul, Color Beautiful Floral Designs For Stress Relief and Relaxation - f Sharon Shannon / Brožovaná
common.buy 250 Kč

This second volume of Handbook of Automated Reasoning covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.

Informace o knize

Plný název Handbook of Automated Reasoning
Autor Alan J A Robinson
Jazyk Angličtina
Vazba Kniha - Pevná
Datum vydání 2001
Počet stran 1188
EAN 9780444508126
ISBN 0444508120
Libristo kód 01329138
Nakladatelství Elsevier Science & Technology
Váha 2430
Rozměry 165 x 240 x 60

Kategorie

Matematika a věda > Matematika > Matematické základy > Matematická logika
Výpočetní a informační technologie > Informatika > Interakce člověk – počítač > Informační architektura
Odborná, informační a interdisciplinární témata > Výzkum a informace: obecně > Informační teorie
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Medicína a ošetřovatelství > Medicína: obecná témata
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet