Kod: 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 ... więcej
- Język:
Angielski - Oprawa: Twarda
- Liczba stron: 1188
Wydawca: Elsevier Science & Technology, 2001
- Więcej informacji o książce
Zobacz książki o podobnej tematyce
-
The Complete Guide to Astrology: Understanding Yourself, Your Signs, and Your Birth Chart
12.80 € -21 % -
Magia myślenia na wielką skalę
11.27 € -
My Sister, the Serial Killer
9.95 € -9 % -
Crewel Embroidery
18.39 € -28 % -
LabVIEW Graphical Programming, Fifth Edition
110.28 € -
Mathematical Origami
12.29 € -28 % -
Neri Oxman: Mediated Matter
59.05 € -6 % -
Alone at Dawn
13.92 € -28 % -
Silent Companions
9.75 € -24 % -
Powerful
8.43 € -19 % -
Institute
10.87 € -27 % -
Hitorijime My Hero 10
12.80 € -11 % -
Ace of Spades
7.92 € -37 % -
Beatriz Milhazes
75.51 € -9 % -
DMC Color Chart Book for Diamond Painting
20.62 € -19 % -
Bible Verse Coloring Book for Adults: Christian Colouring Book To Soothe the Soul, Color Beautiful Floral Designs For Stress Relief and Relaxation - f
10.05 € -1 % -
Real Book
47.26 € -7 % -
Cutting Edge 3rd Edition Intermediate Workbook without Key
28.15 € -6 % -
Small Journal Butterflies
7.51 € -27 % -
OCP - Oracle Certified Professional Java SE 8 Programmer II Study Guide - Exam 1Z0-809
40.75 € -19 % -
Oxford Bookworms Library: Level 3: The Call of the Wild
7.51 € -23 % -
Lays of Beleriand
12.19 € -23 % -
Wireless Communications
123.29 € -
Thomas & Friends 5-minute Sleepytime Tales
11.88 € -16 % -
Story of the Titanic
10.46 € -27 % -
Ontario Birds
7.31 € -22 % -
Elements of Programming Interviews
40.04 € -1 % -
Every Last Word
9.34 € -28 % -
I Want My MTV
17.27 € -25 % -
Rosie Sanders' Flowers
30.38 € -28 % -
Amar o depender / Love or Rely
12.09 € -26 % -
Normale Menschen
13.51 € -
Explorations
22.66 € -
Stiefel Wandkarte Miniformat Deutschland, physisch, mit Holzstäben
12.09 € -9 % -
Symphony Of Enchanted Lands
21.44 €
Bon podarunkowy: Radość gwarantowana
- Podaruj bon o dowolnej wartości, a my się zajmiemy resztą.
- Bon podarunkowy dotyczy całej naszej oferty.
- Możesz wydrukować elektroniczny bon z e-maila a następnie przekazać go obdarowanemu.
- Ważność bonu wynosi 12 miesięcy od daty wystawienia.
Więcej informacji o Handbook of Automated Reasoning
Za ten zakup dostaniesz 800 punkty
Opis
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.
Szczegóły książki
Kategoria Książki po angielsku Computing & information technology Computer science Mathematical theory of computation
321.50 €
- Pełny tytuł: Handbook of Automated Reasoning
- Autor: Alan J A Robinson
- Język: Angielski
- Oprawa: Twarda
- Liczba stron: 1188
- EAN: 9780444508126
- ISBN: 0444508120
- ID: 01329138
- Wydawca: Elsevier Science & Technology
- Waga: 2430 g
- Wymiary: 240 × 165 × 60 mm
- Data wydania: 21. June 2001
Ulubione w innej kategorii
-
Concrete Mathematics
79.27 € -12 % -
Art of Computer Programming, The
67.69 € -14 % -
Advanced R Statistical Programming and Data Models
60.98 € -24 % -
Graph Theory
50.51 € -4 % -
Art of Computer Programming, Volume 2
96.66 € -
Bayesian Methods for Hackers
37.50 € -10 % -
Cryptanalysis
13.92 € -28 % -
Graph Theory
44.41 € -7 % -
Numerical Recipes Source Code CD-ROM 3rd Edition
108.04 € -
More Math Into LaTeX
95.74 € -
Art of Computer Programming, Volume 1, Fascicle 1, The
28.86 € -7 % -
Essential Linear Algebra with Applications
66.37 € -21 % -
An Introduction to Quantum Computing Algorithms
85.27 € -
Type Theory and Formal Proof
87.41 € -1 % -
Advanced Object-Oriented Programming in R
33.03 € -
What Can Be Computed?
97.06 € -5 % -
Computational Introduction to Number Theory and Algebra
76.63 € -
Boolean Algebras, 1
59.15 € -
Discrete Mathematics for Computing
95.44 € -
Introduction to Formal Language Theory
59.15 € -
MATLAB Demystified
22.76 € -18 % -
Programs, Recursion and Unbounded Choice
58.34 € -
Numerical Validation in Current Hardware Architectures
59.15 € -
Pi-Calculus
82.73 € -
Evolutionary Algorithms in Engineering Applications
116.58 € -
Statistics for Data Scientists
53.96 € -
Algorithmic Beauty of Plants
76.02 € -23 % -
Petri Nets
210.60 € -
Automated Reasoning
116.58 € -
Algebra and Coalgebra in Computer Science
59.15 € -
Algebra for Cryptologists
35.87 € -4 % -
Learning Deep Architectures for AI
88.32 € -2 % -
Mathematics of Public Key Cryptography
63.32 € -
Random Signals for Engineers Using MATLAB (R) and Mathcad (R)
59.15 € -
Structural, Syntactic, and Statistical Pattern Recognition
116.58 € -
Regret Analysis of Stochastic and Nonstochastic Multi-armed Bandit Problems
88.32 € -2 % -
Pattern Classification 2e
187.83 € -4 % -
Distributed Algorithms
168.93 € -
Linear Algebra for Data Science, Machine Learning, and Signal Processing
57.22 € -14 % -
Basic Category Theory for Computer Scientists
42.48 € -
Algorithms for Next-Generation Sequencing Data
168.83 € -
Mathematics for Computer Scientists
78.05 € -7 % -
Fundamentals of Quantum Computing
74.80 € -
Introduction to C++ and Numerical Methods
210.30 € -
Data Analysis with Open Source Tools
30.38 € -25 % -
Guide to Scientific Computing in C++
59.15 € -
Garbage Collection - Algorithms for Automatic Dynamic Memory Management
88.83 € -
New Frontiers in Quantitative Methods in Informatics
59.15 € -
Assessing and Improving Prediction and Classification
85.27 €
O nas
Przewodnik
Według języka
Osobní odběr Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk Wszelkie prawa zastrzeżonePrywatnieCookies
Vrácení do měsíce
Zdarma od 49.99 €
02/210 210 99 (8-15.30h)