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 - Vazba: Pevná
- Počet stran: 1188
Nakladatelství: Elsevier Science & Technology, 2001
- Více informací o knize
Mohlo by se vám také líbit
-
The Complete Guide to Astrology: Understanding Yourself, Your Signs, and Your Birth Chart
324 Kč -
Magia myślenia na wielką skalę
282 Kč -
My Sister, the Serial Killer
247 Kč -
Crewel Embroidery
490 Kč -
LabVIEW Graphical Programming, Fifth Edition
2655 Kč -
Mathematical Origami
342 Kč -
Neri Oxman: Mediated Matter
1211 Kč -
Alone at Dawn
427 Kč -
Silent Companions
213 Kč -
Powerful
236 Kč -
Institute
323 Kč -
Hitorijime My Hero 10
337 Kč -
Ace of Spades
268 Kč -
Beatriz Milhazes
2426 Kč -
DMC Color Chart Book for Diamond Painting
601 Kč -
Bible Verse Coloring Book for Adults: Christian Colouring Book To Soothe the Soul, Color Beautiful Floral Designs For Stress Relief and Relaxation - f
278 Kč -
Real Book
1122 Kč -
Oxford English for Careers: Nursing 2: Teacher's Resource Book
1324 Kč -
Cutting Edge 3rd Edition Intermediate Workbook without Key
370 Kč -
Small Journal Butterflies
230 Kč -
Cambridge Primary Mathematics Stage 4 Learner's Book 4
600 Kč -
OCP - Oracle Certified Professional Java SE 8 Programmer II Study Guide - Exam 1Z0-809
971 Kč -
Oxford Bookworms Library: Level 3: The Call of the Wild
363 Kč -
Lays of Beleriand
302 Kč -
Wireless Communications
3397 Kč -
Thomas & Friends 5-minute Sleepytime Tales
296 Kč -
Story of the Titanic
276 Kč -
Ontario Birds
267 Kč -
Elements of Programming Interviews
1115 Kč -
Every Last Word
249 Kč -
I Want My MTV
583 Kč -
Rosie Sanders' Flowers
810 Kč -
Amar o depender / Love or Rely
383 Kč -
Normale Menschen
329 Kč -
Explorations
572 Kč -
Stiefel Wandkarte Miniformat Deutschland, physisch, mit Holzstäben
332 Kč -
Symphony Of Enchanted Lands
580 Kč -
Handarbeitsspaß mit Kindern
363 Kč -
Šéfredaktor - společenská hra
252 Kč -
Kepler62. Parte 4: Los pioneros
164 Kč -
Warszawa przed wybuchem powstania 17 kwietnia 1794 roku
428 Kč -
Cuando soy timido
212 Kč
Darujte tuto knihu ještě dnes
- Objednejte knihu a zvolte Zaslat jako dárek.
- Obratem obdržíte darovací poukaz na knihu, který můžete ihned předat obdarovanému.
- Knihu zašleme na adresu obdarovaného, o nic se nestaráte.
Více informací o knize Handbook of Automated Reasoning
Nákupem získáte 881 bodů
Anotace 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.
Parametry knihy
Zařazení knihy Knihy v angličtině Computing & information technology Computer science Mathematical theory of computation
8813 Kč
- Plný název: Handbook of Automated Reasoning
- Autor: Alan J A Robinson
- Jazyk: Angličtina
- Vazba: Pevná
- Počet stran: 1188
- EAN: 9780444508126
- ISBN: 0444508120
- ID: 01329138
- Nakladatelství: Elsevier Science & Technology
- Hmotnost: 2430 g
- Rozměry: 240 × 165 × 60 mm
- Datum vydání: 21. June 2001
Oblíbené z jiného soudku
-
Concrete Mathematics
2130 Kč -
Art of Computer Programming, The
1964 Kč -
Cryptanalysis
369 Kč -
More Math Into LaTeX
2803 Kč -
Art of Computer Programming, Volume 2
2658 Kč -
Bayesian Methods for Hackers
986 Kč -
Advanced R Statistical Programming and Data Models
1896 Kč -
Graph Theory
1130 Kč -
Numerical Recipes Source Code CD-ROM 3rd Edition
3310 Kč -
Art of Computer Programming, Volume 1, Fascicle 1, The
732 Kč -
Essential Linear Algebra with Applications
1653 Kč -
Graph Theory
1385 Kč -
An Introduction to Quantum Computing Algorithms
2404 Kč -
Type Theory and Formal Proof
2662 Kč -
Advanced Object-Oriented Programming in R
928 Kč -
Introduction to Formal Language Theory
1665 Kč -
Discrete Mathematics for Computing
2544 Kč -
Boolean Algebras, 1
1665 Kč -
What Can Be Computed?
2483 Kč -
MATLAB Demystified
637 Kč -
Computational Introduction to Number Theory and Algebra
2220 Kč -
Programs, Recursion and Unbounded Choice
1542 Kč -
Numerical Validation in Current Hardware Architectures
1665 Kč -
Pi-Calculus
2396 Kč -
Algorithmic Beauty of Plants
2275 Kč -
Algebra for Cryptologists
984 Kč -
Learning Deep Architectures for AI
2483 Kč -
Petri Nets
6175 Kč -
Automated Reasoning
3289 Kč -
Structural, Syntactic, and Statistical Pattern Recognition
3289 Kč -
Algebra and Coalgebra in Computer Science
1665 Kč -
Mathematics of Public Key Cryptography
2455 Kč -
Random Signals for Engineers Using MATLAB (R) and Mathcad (R)
1665 Kč -
Evolutionary Algorithms in Engineering Applications
3289 Kč -
Regret Analysis of Stochastic and Nonstochastic Multi-armed Bandit Problems
2578 Kč -
Guide to Scientific Computing in C++
1665 Kč -
Fundamentals of Quantum Computing
2108 Kč -
Statistics for Data Scientists
1432 Kč -
Introduction to C++ and Numerical Methods
5337 Kč -
Data Analysis with Open Source Tools
929 Kč -
Mathematics for Computer Scientists
2141 Kč -
Basic Category Theory for Computer Scientists
1206 Kč -
Basics of Modern Mathematical Statistics
2699 Kč -
Distributed Algorithms
3645 Kč -
Pattern Classification 2e
5294 Kč -
Discrete and Combinatorial Mathematics
2863 Kč -
Foundation Mathematics for Computer Science
1964 Kč -
Parallel Scientific Computation
6104 Kč -
Asymptotic and Numerical Methods for Partial Differential Equations with Critical Parameters, 1
6536 Kč
O tomto obchodě
Nákupní rádce
Přehledy
Knihy podle jazyka
Osobní odběr Praha, Brno a 12903 dalších
Copyright ©2008-24 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Balíkovna za 49 Kč
Vrácení do měsíce
571 999 099 (8-15.30h)