Code: 01558443
From Logic Design to Logic Programming
by Dominique Snyers, Andre Thayse
Contents: Introduction.- Theorem proving and P-functions.- Grammars, logics and declarative programming.- Grammars and Semantics.- Bibliography.
- Language:
English - Binding: Paperback
- Number of pages: 125
Publisher: Springer, Berlin
- More about this
51.78 €
RRP: 56.07 €
You save 4.29 €
In stock at our supplier
Shipping in 5 - 8 days
You might also like
-
Book of Disquiet
12.86 € -25 % -
Tom Clancy's Splinter Cell, Operation Barracuda, English edition
6.58 € -24 % -
Assassin's Creed: Blade of Shao Jun, Vol. 4
13.57 € -15 % -
End of Power
13.47 € -24 % -
In the Bookstore
12.76 € -24 % -
The Wasp Trap
21.27 € -24 % -
Jako řeka, jež plyne
6.48 € -21 % -
Ten Lessons for a Post-Pandemic World
21.07 € -21 % -
Pod basovým kľúčom
8.71 € -30 % -
Compact English-English-Tamil Dictionary
21.98 € -9 % -
Heaven Official's Blessing nº 03 Edición Especial
26.04 € -4 % -
A Tale of Two Cities
21.78 € -24 % -
Kolobok
16.71 € -15 % -
Story of Painting
11.44 € -17 % -
Konečně EX toho vašeho EX
5.87 € -15 % -
Supercharging Quantum-Touch
21.98 € -26 % -
Japanese Gardening
31.31 € -9 % -
Paradise Lost (Deluxe Library Binding)
28.37 € -1 % -
Little Book of Modern Witchcraft
7.69 € -25 % -
Understanding Media Semiotics
52.59 € -
Macmillan Children's Readers Sharks & Dolphins International Level 6
6.07 € -8 % -
Swell-consolidation behaviour of lime and pond ash blended clays
32.12 € -14 % -
Local Content Management at Kenya Methodist University (KeMU)
71.24 € -14 % -
How to Grade for Learning, K-12 (Multimedia Kit)
304.64 € -10 % -
Třešně
5.16 € -16 % -
Three South Coast Songs
19.04 € -
New York Quarterly, Number 34
14.08 € -25 % -
migraciones internas en la Argentina moderna
14.08 € -7 % -
General Momentum Theory for Horizontal Axis Wind Turbines
103.16 € -7 % -
CO2-Lagerung im Meer - Loesung des Klimaproblems?
12.66 € -10 % -
Les chiens Pirates - Adieu Côtelettes !
9.11 € -
Stock Repurchases - A Sustainable Fashion?
50.05 € -3 % -
International Handbook of Emotions in Education
181.60 € -
FIFTH ACT HB
26.64 € -
El Opus Dei en la Iglesia
28.06 € -
Shiism and Politics in the Middle East
44.38 € -9 % -
Conservation Science for the Cultural Heritage
175.22 € -7 % -
Always Eat Your Vegetables
12.76 € -25 % -
Panda
16.21 € -4 % -
Boxers - Dog Books for Kids
9.82 € -6 % -
Rock-Solid Marriage
13.77 € -10 % -
Vorlesungen über Judentum und Christentum
140.46 € -6 % -
Extraction of fuel from Plants (Bio-Fuel, Bio-Diesel)
32.12 € -14 % -
Inspektor Kajetan und die Betrüger
8.30 € -9 % -
A Choice Theory Psychology Guide to Stress: Ways of managing stress in your life
9.82 € -6 % -
Great Shall Be Your Joy
13.98 € -9 % -
Language and Value
28.67 € -14 % -
Das Vichy-Regime
7.69 € -8 % -
Oraisons Funebres
36.47 € -
Mensch, Seine Abstammung Und Gesittung Im Lichte Der Darwinschen Lehre ... Dargestellt. Mit 36 Holzschnitten.
24.31 € -29 % -
Text
149.78 € -
Notebook: Pebbles
9.72 € -9 % -
Leisure Theory
55.93 € -
Poemas de las cuatro estaciones / Poems of the Four Seasons
10.43 € -
Wa-Hi Class Reunion: So Much Water Under the Bridge
8.50 € -7 % -
Cantigas
64.24 € -11 %
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about From Logic Design to Logic Programming
You get 125 loyalty points
Book synopsis
Contents: Introduction.- Theorem proving and P-functions.- Grammars, logics and declarative programming.- Grammars and Semantics.- Bibliography.
Book details
Book category Books in English Computing & information technology Computer science Computer architecture & logic design
51.78 €
- Full title: From Logic Design to Logic Programming
- Author: Dominique Snyers, Andre Thayse
- Language: English
- Binding: Paperback
- Number of pages: 125
- EAN: 9783540182177
- ISBN: 3540182179
- ID: 01558443
- Publisher: Springer, Berlin
- Weight: 224 g
- Dimensions: 233 × 155 × 7 mm
Trending among others
-
Programming Massively Parallel Processors
95.05 € -
Digital Design and Computer Architecture, RISC-V Edition
93.73 € -5 % -
FPGA Prototyping by SystemVerilog Examples - Xilinx MicroBlaze MCS SoC Edition
121.40 € -
Professional CUDA C Programming
42.45 € -24 % -
Computer Architecture
101.94 € -6 % -
Mastering KVM Virtualization
53.70 € -1 % -
Computer Systems
244.13 € -
Programming the 65816: Including the 6502, 65c02, and 65802
40.12 € -7 % -
Raspberry Pi User Guide 4e
21.78 € -24 % -
Structured Computer Organization
269.37 € -
Computer Architecture
94.24 € -
Solutions Architect's Handbook
86.13 € -1 % -
Frontend Architecture for Design Systems
29.89 € -
Art of Scalability, The
38.50 € -14 % -
Computer Organization and Design MIPS Edition
99.82 € -
Structured Computer Organization
93.13 € -14 % -
Principles of Computer Hardware
102.65 € -
Art Of Assembly Language, 2nd Edition
59.99 € -24 % -
Professional Assembly Language
36.88 € -25 % -
Modeling Enterprise Architecture with TOGAF
50.97 € -
Art of Multiprocessor Programming, Revised Reprint
81.57 € -
Development and Deployment of Multiplayer Online Games, Vol. I
28.57 € -25 % -
Solutions Architect's Handbook
53.70 € -1 % -
Learning Malware Analysis
50.97 € -1 % -
CUDA Programming
54.21 € -10 % -
CUDA Fortran for Scientists and Engineers
75.09 € -
VMware Performance and Capacity Management -
63.53 € -2 % -
Mastering Docker
42.76 € -2 % -
Docker for Developers
42.76 € -2 % -
CUDA by Example
46.41 € -2 % -
Boost.Asio C++ Network Programming Cookbook
53.70 € -1 % -
Kubernetes in Production Best Practices
38.30 € -2 % -
Multicore and GPU Programming
107.21 € -
Quantum Computing
42.56 € -20 % -
Parallel Programming in OpenMP
76.51 € -
CLEAN ARCHITECTURE
30.70 € -25 % -
Model-based System and Architecture Engineering with the Arcadia Method
168.63 € -10 % -
Guide to Computer Processor Architecture
60.70 € -9 % -
Shared-Memory Synchronization
45.60 € -9 % -
Digital Manufacturing
14.89 € -9 % -
Architecting Google Cloud Solutions
47.32 € -1 % -
Practice of Enterprise Architecture
59.89 € -1 % -
Enterprise Software Architecture and Design - Entities, Services, and Resources
140.15 € -2 % -
GNU GRUB Manual
15.09 € -1 % -
Network and System Security
60.80 € -
Building Your Next Big Thing with Google Cloud Platform
32.12 € -24 % -
Computer Architecture
96.27 € -
RISC-V Microprocessor System-On-Chip Design
100.32 € -10 % -
High Performance Computing
92.62 €
Shopping guide
Books by language
Collection points Bratislava a 12782 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25568 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)