phone +385 21 784 0072
LIBRISTO 0
Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Overseas 4.99 € Pošta 4.99 € DPD 5.99 € GLS 3.99 € GLS paketomat 3.49 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Handbook of Automated Reasoning

Jezik EngleskiEngleski
Knjiga Tvrdi uvez
Knjiga Handbook of Automated Reasoning Alan J A Robinson
Libristo kod: 01329138
Nakladnici Elsevier Science & Technology, lipanj 2001
This second volume of Handbook of Automated Reasoning covers topics such as higher-order logic and l... Cijeli opis
? points 834 b
332.78 €
Vanjske zalihe Šaljemo za 15-20 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

TOP
Real Book Hal Leonard Corporation / Meki uvez
common.buy 40.67 €
TOP
Silent Companions Laura Purcell / Meki uvez
common.buy 10.29 €
TOP
Powerful / Meki uvez
common.buy 7.96 €
TOP
Alone at Dawn Lori Longfritz / Meki uvez
common.buy 16.24 €
Ace of Spades Faridah Abike-Iyimide / Meki uvez
common.buy 7.46 €
Institute Stephen King / Meki uvez
common.buy 11.90 €
Hitorijime My Hero 10 / Meki uvez
common.buy 10.99 €
My Sister, the Serial Killer Oyinkan Braithwaite / Meki uvez
common.buy 8.77 €
Small Journal Butterflies / Rokovnik
common.buy 7.86 €
The Complete Guide to Astrology: Understanding Yourself, Your Signs, and Your Birth Chart / Meki uvez
common.buy 13.01 €
Crewel Embroidery Tatiana Popova / Meki uvez
common.buy 20.78 €
PRIPREMAMO
Neri Oxman: Mediated Matter PAOLA ANTONELLI / Meki uvez
common.buy 51.37 €
LabVIEW Graphical Programming, Fifth Edition Richard Jennings / Meki uvez
common.buy 110.11 €
Cambridge Primary Mathematics Stage 4 Learner's Book 4 Emma Low / Meki uvez
common.buy 21.99 €
Cutting Edge 3rd Edition Intermediate Workbook without Key Damian Williams / Meki uvez
common.buy 16.34 €
Mathematical Origami / Meki uvez
common.buy 13.92 €

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.

Informacije o knjizi

Puni naziv Handbook of Automated Reasoning
Autor Alan J A Robinson
Jezik Engleski
Uvez Knjiga - Tvrdi uvez
Datum izdanja 2001
Broj stranica 1188
EAN 9780444508126
ISBN 0444508120
Libristo kod 01329138
Nakladnici Elsevier Science & Technology
Težina 2430
Dimenzije 165 x 240 x 60

Kategorija

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Human–computer interaction > Information architecture
Reference, Information & Interdisciplinary subjects > Research & information: general > Information theory
Computing & Information Technology > Computer science > Mathematical theory of computation
Medicine & Nursing > Medicine: general issues
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun