Handbook of Automated Reasoning
2.049 kr.
2.049 kr.
På lager
Man., 27 jan. - fre., 31 jan.
Sikker betaling
14 dages åbent køb
Sælges og leveres af
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.
Varenr.
47db016a-2ad5-47da-ac62-52588c417e95
Handbook of Automated Reasoning
2.049 kr.
2.049 kr.
På lager
Man., 27 jan. - fre., 31 jan.
Sikker betaling
14 dages åbent køb
Sælges og leveres af
Adlibris
Lignende topsælgere
Bright Beauty
Bright Beauty Vanity Namira - make up spejl med belysning - hollywood spejl - schminke spejl med lys - hvid - dæmpbar med tre lystilstande
599 kr.
4,4(80)
mandag, 20 jan.
Generic
Timer til Klasselokalet - 60 minutter
169 kr.
4,2(55)
mandag, 27 jan.
Bright Beauty Vanity
Bright Beauty Vanity Namira - make up spejl med belysning - hollywood spejl - schminke spejl med lys - hvid - dæmpbar med tre lystilstande
659 kr.
4,3(911)
mandag, 20 jan.
A Series
RCA AV till HDMI Converter / Adapter 1080P Universal White
79 kr.
Tidligere laveste pris:
99 kr.
5,0(4)
fredag, 17 jan.
Fenchilin
FENCHILIIN Stor Hollywood Makeup Spejl med lys USB bordplade vægbeslag hvid 80 x 58 cm
961 kr.
4,6(171)
mandag, 20 jan.
Bigzzia
2-i-1 foldeløbebånd, elektrisk løbebånd under skrivebordet, jogging til hjemmekontoret Sort
1.549 kr.
4,2(297)
tirsdag, 28 jan.
Bright Beauty Vanity
Bright Beauty Vanity Namira - make up spejl med belysning - hollywood spejl - schminke spejl med lys - hvid - dæmpbar med tre lystilstande - roterbar
549 kr.
4,1(47)
mandag, 20 jan.
Vitu
Nødradio med solceller og håndsving Solcelle 2000mAh Powerbank SOS
199 kr.
4,2(117)
mandag, 20 jan.
Fisher Price
Fisher Price Grin Og Lær Bordblandinger Dj Søvfarvet
473 kr.
onsdag, 29 jan.
Rattrix
Sammenfoldelig justerbar vægtbænk, 660 LB kapacitet - Kompakt og sammenfoldelig vægtbænk til hjemmegymnastik, fuld kropstræning B
549 kr.
5,0(2)
mandag, 27 jan.
Anbefalede produkter
Fenchilin
FENCHILIIN Hollywood Makeup Spejl Med Lys dæmpbar med tre lystilstande Bordplade vægbeslag hvid 58 x 46cm
695 kr.
4,6(194)
mandag, 20 jan.
Generic
Ørepuder til Bose QuietComfort - QC35/QC25/QC15/AE2 Hovedtelefoner Svart
69 kr.
4,5(712)
mandag, 27 jan.
Magnetic
Magnetic Tiles Kuglebane 88 dele
329 kr.
Tidligere laveste pris:
480 kr.
4,8(4)
mandag, 20 jan.
Remote TV
Ersättningsfjärrkontroll för Chromecast Google TV G9N9N
89 kr.
Tidligere laveste pris:
99 kr.
3,0(6)
torsdag, 23 jan.
Bright Beauty Vanity
Bright Beauty Vanity Namira - make up spejl med belysning - hollywood spejl - schminke spejl med lys - hvid - dæmpbar med tre lystilstande
599 kr.
4,1(24)
mandag, 20 jan.
Bright Beauty Vanity
Bright Beauty Vanity Nina - makeup spejl -make up spejl med belysning - hollywood spejl - schminke spejl med lys - hvid - dæmpbar med tre lystilstande
439 kr.
4,0(238)
mandag, 20 jan.
Generic
Knivssæt til Børn 6-dele - Børnevenlige knive
129 kr.
4,2(27)
mandag, 27 jan.
Generic
10-Pak - G4 Halogenpærer / Stiftpærer – Halogen 10W
59 kr.
3,3(3)
mandag, 27 jan.
Vitu
Nødradio med solceller og håndsving Solcelle 2000mAh Powerbank SOS
199 kr.
Tidligere laveste pris:
279 kr.
3,6(28)
mandag, 20 jan.
Rivanoo
Mini trådløs CarPlay & Android Auto-adapter til iPhone & Android – Nyd friheden fra kabler!
399 kr.
5,0(3)
tirsdag, 21 jan.