Handbook of Practical Logic and Automated Reasoning
1 870 kr
1 870 kr
På lager
Fr., 17 jan. - to., 23 jan.
Sikker betaling
Åpent kjøp til og med 7/1-25
Selges og leveres av
Adlibris
Produktbeskrivelse
The sheer complexity of computer systems has meant that automated reasoning, i.e. the ability of computers to perform logical inference, has become a vital component of program construction and of programming language design. This book meets the demand for a self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning. The mathematical logic foundations are described in conjunction with practical application, all with the minimum of prerequisites. The approach is constructive, concrete and algorithmic: a key feature is that methods are described with reference to actual implementations (for which code is supplied) that readers can use, modify and experiment with. This book is ideally suited for those seeking a one-stop source for the general area of automated reasoning. It can be used as a reference, or as a place to learn the fundamentals, either in conjunction with advanced courses or for self study.
Artikkel nr.
d76f1f5e-49c6-489b-ae29-9c7c4b0cae9e
Handbook of Practical Logic and Automated Reasoning
1 870 kr
1 870 kr
På lager
Fr., 17 jan. - to., 23 jan.
Sikker betaling
Åpent kjøp til og med 7/1-25
Selges og leveres av
Adlibris
Lignende toppselgere
Generic
Øreputer for Bose QuietComfort - QC35/QC25/QC15/AE2 Hodetelefoner Svart
99 kr
4,5(697)
tirsdag, 7 jan.
INF
Tilbehør Roborock S6/S60/S65/S5 Max/T6, 20 deler
289 kr
Tidligere laveste pris:
383 kr
3,0(19)
fredag, 3 jan.
INF
INF Sklisikker beskyttelse / brodder for sko med 18 stålpigger (L)
216 kr
4,3(20)
fredag, 3 jan.
Price Point
Universallader for Garmin klokker Svart
89 kr
4,2(147)
mandag, 6 jan.
Mobil o Teknik
PS4-kontroller DoubleShock Wireless
349 kr
onsdag, 8 jan.
INF
INF Overgang PS2 til HDMI m/ 3,5 mm lydutgang for HDTV-/HDMI-skjerm
123 kr
Tidligere laveste pris:
155 kr
4,1(22)
mandag, 6 jan.
KIRKLAND
6x60ml = 360ml - Kirkland Extra Strength 5% Men Hair Regrowth 60ml Hair Loss
1 290 kr
5,0(4)
mandag, 6 jan.
Odin
Titan Silikon Til Tredemølle 100ml
149 kr
Tidligere laveste pris:
349 kr
5,0(3)
mandag, 6 jan.
Generic
2-Pak - PS4 Kontroll DoubleShock for Playstation 4 - Trådløs
549 kr
5,0(2)
tirsdag, 7 jan.
Vitu
Astronaut Night Light / Galaxy Lampe med fjernkontroll - Nepula Starry Sky Projector
299 kr
Tidligere laveste pris:
449 kr
4,1(34)
torsdag, 2 jan.
Anbefalinger til dig
Azzaro
Azzaro Azzaro The Most Wanted Parfum edp 100ml
1 147 kr
4,7(6)
torsdag, 2 jan.
Generic
Knivsett for Barn 6-deler - Barnevennlige kniver
199 kr
4,4(16)
tirsdag, 7 jan.
Generic
2-Pak - iPhone Lader Adapter+Kabel 20W USB-C Hurtiglader
199 kr
3,7(500)
tirsdag, 7 jan.
INF
INF Tilbehør til Roborock S5/S6 modeller 7 deler
181 kr
Tidligere laveste pris:
221 kr
4,1(47)
fredag, 3 jan.
Avatar - Limited Steelbook (4K Ultra HD + Blu-ray)
119 kr
Tidligere laveste pris:
149 kr
5,0(1)
mandag, 6 jan.
Toppik
Toppik - 27,5g - Dark Brown - Mørkebrun
285 kr
Tidligere laveste pris:
379 kr
4,4(10)
mandag, 6 jan.
Northix
UV-lampe for gellakk - bevegelsessensor - 48 w
229 kr
Tidligere laveste pris:
249 kr
4,8(17)
torsdag, 2 jan.
INF
INF Magnetisk vanntett beskyttelse for ladeuttak på elbiler Sort
168 kr
Tidligere laveste pris:
232 kr
4,0(16)
fredag, 3 jan.
Bengans
Jethro Tull - The Jethro Tull Christmas Album - Fresh Snow At Christmas (4CD+BD Boxset) (CD)
666 kr
5,0(1)
mandag, 13 jan.
INF
INF Sett for bartending med dobbel shaker 750ml i rustfritt stål, 10 redskaper
272 kr
Tidligere laveste pris:
299 kr
4,5(55)
fredag, 3 jan.