Kód: 01329138
Handbook of Automated Reasoning
Autor Alan J A Robinson
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 n ... celý popis
- Jazyk:
Angličtina - Väzba: Pevná
- Počet strán: 1188
Nakladateľ: Elsevier Science & Technology, 2001
- Viac informácií o knihe
Mohlo by sa vám tiež páčiť
-
The Complete Guide to Astrology: Understanding Yourself, Your Signs, and Your Birth Chart
12.89 € -21 % -
Magia myślenia na wielką skalę
11.35 € -
My Sister, the Serial Killer
10.02 € -9 % -
Crewel Embroidery
19.85 € -23 % -
LabVIEW Graphical Programming, Fifth Edition
110.77 € -
Mathematical Origami
14.02 € -18 % -
Neri Oxman: Mediated Matter
59.27 € -7 % -
Alone at Dawn
16.99 € -12 % -
Silent Companions
9.82 € -24 % -
Powerful
8.08 € -23 % -
Institute
10.95 € -24 % -
Hitorijime My Hero 10
12.89 € -11 % -
Ace of Spades
10.84 € -10 % -
Beatriz Milhazes
98.18 € -13 % -
DMC Color Chart Book for Diamond Painting
24.56 € -4 % -
Bible Verse Coloring Book for Adults: Christian Colouring Book To Soothe the Soul, Color Beautiful Floral Designs For Stress Relief and Relaxation - f
11.56 € -
Real Book
47.40 € -7 % -
Cutting Edge 3rd Edition Intermediate Workbook without Key
31.22 € -
Small Journal Butterflies
9.61 € -7 % -
Cambridge Primary Mathematics Stage 4 Learner's Book 4
22 € -
OCP - Oracle Certified Professional Java SE 8 Programmer II Study Guide - Exam 1Z0-809
41.05 € -19 % -
Oxford Bookworms Library: Level 3: The Call of the Wild
7.57 € -23 % -
Lays of Beleriand
12.28 € -23 % -
Wireless Communications
148.25 € -
Thomas & Friends 5-minute Sleepytime Tales
11.87 € -17 % -
Story of the Titanic
11.15 € -23 % -
Ontario Birds
9.31 € -2 % -
Elements of Programming Interviews
46.37 € -
Every Last Word
10.13 € -22 % -
I Want My MTV
19.65 € -16 % -
Rosie Sanders' Flowers
32.75 € -23 % -
Amar o depender / Love or Rely
15.55 € -5 % -
Normale Menschen
13.50 € -
Stiefel Wandkarte Miniformat Deutschland, physisch, mit Holzstäben
13.50 € -
Symphony Of Enchanted Lands
23.54 €
Darujte túto knihu ešte dnes
- Objednajte knihu a vyberte Zaslať ako darček.
- Obratom obdržíte darovací poukaz na knihu, ktorý môžete ihneď odovzdať obdarovanému.
- Knihu zašleme na adresu obdarovaného, o nič sa nestaráte.
Viac informácií o knihe Handbook of Automated Reasoning
Nákupom získate 936 bodov
Anotácia knihy
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.
Parametre knihy
Zaradenie knihy Knihy po anglicky Computing & information technology Computer science Mathematical theory of computation
378.52 €
- Celý názov: Handbook of Automated Reasoning
- Autor: Alan J A Robinson
- Jazyk: Angličtina
- Väzba: Pevná
- Počet strán: 1188
- EAN: 9780444508126
- ISBN: 0444508120
- ID: 01329138
- Nakladateľ: Elsevier Science & Technology
- Hmotnosť: 2430 g
- Rozmery: 240 × 165 × 60 mm
- Dátum vydania: 21. June 2001
Obľúbené z iného súdka
-
Concrete Mathematics
88.86 € -2 % -
Art of Computer Programming, The
67.97 € -14 % -
Cryptanalysis
14.94 € -23 % -
More Math Into LaTeX
114.56 € -
Art of Computer Programming, Volume 2
107.09 € -
Bayesian Methods for Hackers
39.92 € -5 % -
Advanced R Statistical Programming and Data Models
77.60 € -3 % -
Graph Theory
96.95 € -
Numerical Recipes Source Code CD-ROM 3rd Edition
129.92 € -
Art of Computer Programming, Volume 1, Fascicle 1, The
30.60 € -1 % -
Essential Linear Algebra with Applications
66.85 € -21 % -
Graph Theory
56.20 € -
An Introduction to Quantum Computing Algorithms
102.07 € -
Type Theory and Formal Proof
96.95 € -
Advanced Object-Oriented Programming in R
39.51 € -
Introduction to Formal Language Theory
70.84 € -
Boolean Algebras, 1
70.84 € -
Discrete Mathematics for Computing
100.12 € -
What Can Be Computed?
97.67 € -4 % -
MATLAB Demystified
27.02 € -4 % -
Computational Introduction to Number Theory and Algebra
92.04 € -
Programs, Recursion and Unbounded Choice
70.13 € -
Numerical Validation in Current Hardware Architectures
70.84 € -
Pi-Calculus
99.41 € -
Algorithmic Beauty of Plants
96.64 € -3 % -
Learning Deep Architectures for AI
107.09 € -
Algebra for Cryptologists
39.92 € -
Petri Nets
252.17 € -
Automated Reasoning
139.54 € -
Structural, Syntactic, and Statistical Pattern Recognition
139.54 € -
Algebra and Coalgebra in Computer Science
70.84 € -
Mathematics of Public Key Cryptography
101.86 € -
Random Signals for Engineers Using MATLAB (R) and Mathcad (R)
70.84 € -
Evolutionary Algorithms in Engineering Applications
139.54 € -
Regret Analysis of Stochastic and Nonstochastic Multi-armed Bandit Problems
107.09 € -
Guide to Scientific Computing in C++
70.84 € -
Fundamentals of Quantum Computing
89.58 € -
Statistics for Data Scientists
64.60 € -
Introduction to C++ and Numerical Methods
237.53 € -
Data Analysis with Open Source Tools
38.79 € -6 % -
Mathematics for Computer Scientists
86.61 € -
Basic Category Theory for Computer Scientists
49.95 € -
Basics of Modern Mathematical Statistics
114.56 € -
Distributed Algorithms
172 € -
Pattern Classification 2e
228.62 € -
Discrete and Combinatorial Mathematics
117.02 € -
Foundation Mathematics for Computer Science
84.36 € -
Parallel Scientific Computation
247.05 € -
Asymptotic and Numerical Methods for Partial Differential Equations with Critical Parameters, 1
277.15 €
O tomto obchode
Nákupný poradca
Prehľady
Knihy podľa jazyka
Osobný odber Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
19 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)