Handbook of Automated Reasoning
2 567 kr
2 567 kr
På lager
Fr., 2 mai - to., 8 mai
Sikker betaling
14 dagers åpent kjøp
Selges og leveres av
Adlibris
Produktbeskrivelse
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.
Artikkel nr.
47db016a-2ad5-47da-ac62-52588c417e95
Handbook of Automated Reasoning
2 567 kr
2 567 kr
På lager
Fr., 2 mai - to., 8 mai
Sikker betaling
14 dagers åpent kjøp
Selges og leveres av
Adlibris
Lignende toppselgere
Generic
Øreputer for Bose QuietComfort - QC35/QC25/QC15/AE2 Hodetelefoner Svart
99 kr
4,5
tirsdag, 29 april
Vileda
Microfiberklud PVAmicro 38x35cm grøn,5 stk/pk
302 kr
fredag, 25 april
Bigstren
Luftrenseenhet - Renser / Saniterer luften - 20,000 mg/h
599 kr
4,3
tirsdag, 29 april
Generic
4-Pak - Tesla Senterkopper - Bil Svart/silver
129 kr
4,5
tirsdag, 29 april
-2 %
Generic
Trådløs CarPlay-adapter 2025
449 kr
Tidligere laveste pris:
459 kr
4,4
tirsdag, 29 april
Gardlov
Plenlufter - Piggsko for å lufte plenen
269 kr
4,0
tirsdag, 29 april
Generic
Hundetrimmer / Potetrimmer - Trimmer for Poter
199 kr
4,3
tirsdag, 29 april
-23 %
Generic
Silikontape / Plaster for Arr – Behandling av arr
99 kr
Tidligere laveste pris:
129 kr
tirsdag, 29 april
INF
INF Tilbehør Xiaomi Roborock S5 Max/S50/S51/S55/S5/S60/S65/S6/S6 Pure/S6 MAXV 22 deler
272 kr
fredag, 25 april
INF
INF Filter for MSPA oppblåsbare bassenger FD2089 4-pakning
299 kr
4,7
fredag, 25 april
Anbefalinger til dig
Generic
RCA til HDMI Converter 1080p - Adapter
139 kr
4,5
tirsdag, 29 april
Generic
3-Pak - Fidget Spinners med Sugekopp for Barn
179 kr
4,6
tirsdag, 29 april
Generic
Munnspill - C-durskala
99 kr
3,7
tirsdag, 29 april
INF
INF Øreputer for Bose QC35 I/II, QC25, QC15, QC 2 AE 2, AE 2i, AE 2w, SoundTrue, SoundLink
99 kr
4,6
mandag, 28 april
-9 %
INF
INF TYPE-C Dual SD/TF-kortleser for rask dataoverføring 0
107 kr
Tidligere laveste pris:
118 kr
3,3
mandag, 28 april
Price Point
Universallader for Garmin klokker Svart
89 kr
4,2
mandag, 28 april
Generic
2-Pak - Lader for iPhone - Hurtiglader - Adapter + Kabel 20W USB-C
199 kr
3,7
tirsdag, 29 april
INF
Ankelstropp for styrketrening med kabelmaskiner 2 Pack
152 kr
4,5
mandag, 28 april
Generic
4-Pak - Volkswagen VW Senterkopper - Bil 65 mm
129 kr
4,1
tirsdag, 29 april
INF
INF Hjulmutterhette med fjerningsverktøy, 20-pak 21 mm
95 kr
4,6
mandag, 28 april