Fri frakt over 399 kr
Fri frakt over 399 kr
Kundeservice
Formal Methods in Artificial Intelligence
-1 %

Formal Methods in Artificial Intelligence

549 kr

549 kr

Tidligere laveste pris:

557 kr

På lager

Fr., 4 juli - to., 10 juli

Sikker betaling

14 dagers åpent kjøp

Selges og leveres av

Adlibris

Produktbeskrivelse

Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving including Bibel's connection method. Also covered are the advanced adaptations of classical logic now being used in artificial intelligence - temporal and modal logics, reason maintenance and intensional logic. First published in 1988, the book covers a wider range of topics than the currently available books in this area, and is more directly aimed at workers in artificial intelligence.

Artikkel nr.

1378c105-d8ea-5e1b-9b89-5260691ecdbf

Formal Methods in Artificial Intelligence

549 kr

549 kr

Tidligere laveste pris:

557 kr

På lager

Fr., 4 juli - to., 10 juli

Sikker betaling

14 dagers åpent kjøp

Selges og leveres av

Adlibris

Lignende toppselgere

POP MART Labubu The Monsters – Exciting Macaron Blind Box 17 cm Vinylfigur | Samleleke | Designerfigur | Originalt produkt

POP MART Labubu The Monsters – Exciting Macaron Blind Box 17 cm Vinylfigur | Samleleke | Designerfigur | Originalt produkt

249 kr

fredag, 20 juni
POP MART Labubu The Monsters Big into Energy 17 cm

POP MART Labubu The Monsters Big into Energy 17 cm

249 kr

3,0
fredag, 20 juni
1 stk POP MART Labubu 3.0 Big into Energy Blind Box-figur – The Monsters Vinyl Plysch Hänge 17 cm (tilfeldig farge, enkel pakke)

1 stk POP MART Labubu 3.0 Big into Energy Blind Box-figur – The Monsters Vinyl Plysch Hänge 17 cm (tilfeldig farge, enkel pakke)

249 kr

fredag, 20 juni
Labubu The Monsters Macaron Blind Box fra POP MART

Labubu The Monsters Macaron Blind Box fra POP MART

259 kr

fredag, 20 juni
1 stk POP MART Labubu 2.0 The Monsters Macaron Blind Box Plysjfigur (tilfeldig farge, 17 cm, generasjon 2, 1-pakning)

1 stk POP MART Labubu 2.0 The Monsters Macaron Blind Box Plysjfigur (tilfeldig farge, 17 cm, generasjon 2, 1-pakning)

249 kr

fredag, 20 juni
POP MART Labubu The Monsters – Big into Energy Series Blind Box 17 cm Vinylfigur | Samlefigur | Designerleke | Originalt produkt

POP MART Labubu The Monsters – Big into Energy Series Blind Box 17 cm Vinylfigur | Samlefigur | Designerleke | Originalt produkt

249 kr

fredag, 20 juni
Øreputer for Bose QuietComfort - QC35/QC25/QC15/AE2 Hodetelefoner Svart

Øreputer for Bose QuietComfort - QC35/QC25/QC15/AE2 Hodetelefoner Svart

99 kr

4,5
tirsdag, 17 juni
1 kpl POP MART Labubu The Monsters Spennende Macaron Plysjfigur leketøy Blind Box (tilfeldig farge, 17 cm, 1 pakke)

1 kpl POP MART Labubu The Monsters Spennende Macaron Plysjfigur leketøy Blind Box (tilfeldig farge, 17 cm, 1 pakke)

239 kr

fredag, 20 juni
INF TYPE-C Dual SD/TF-kortleser for rask dataoverføring 0
Green Friday-7 %

INF TYPE-C Dual SD/TF-kortleser for rask dataoverføring 0

99 kr

Tidligere laveste pris:

107 kr

3,5
mandag, 16 juni
Pop Mart Labubu Zimomo enkelin riipus 17,5 cm

Pop Mart Labubu Zimomo enkelin riipus 17,5 cm

349 kr

fredag, 20 juni

Anbefalinger til dig

3-Pak - Fidget Spinners med Sugekopp for Barn
-14 %

3-Pak - Fidget Spinners med Sugekopp for Barn

119 kr

Tidligere laveste pris:

139 kr

4,2
tirsdag, 17 juni
Luftrenseenhet - Renser / Saniterer luften - 20,000 mg/h

Luftrenseenhet - Renser / Saniterer luften - 20,000 mg/h

599 kr

4,3
tirsdag, 17 juni
6x60ml = 360ml - Kirkland Extra Strength 5% Men Hair Regrowth 60ml Hair Loss

6x60ml = 360ml - Kirkland Extra Strength 5% Men Hair Regrowth 60ml Hair Loss

1 390 kr

4,6
mandag, 16 juni
Dansende kaktus, snakkende kaktusleke gjentar det du sier
-32 %

Dansende kaktus, snakkende kaktusleke gjentar det du sier

160 kr

Tidligere laveste pris:

234 kr

3,3
fredag, 20 juni
10x Premium hjørnebeskyttelse og kantbeskyttelse for barn
-18 %

10x Premium hjørnebeskyttelse og kantbeskyttelse for barn

119 kr

Tidligere laveste pris:

146 kr

4,4
mandag, 23 juni
Microfiberklud PVAmicro 38x35cm grøn,5 stk/pk
Vileda

Microfiberklud PVAmicro 38x35cm grøn,5 stk/pk

308 kr

5,0
fredag, 13 juni
Silikontape / Plaster for Arr – Behandling av arr

Silikontape / Plaster for Arr – Behandling av arr

99 kr

3,0
tirsdag, 17 juni
Universallader for Garmin klokker Svart

Universallader for Garmin klokker Svart

89 kr

4,2
mandag, 16 juni
K18 Leave-In Molecular Repair Hair Mask 150 ml
K18

K18 Leave-In Molecular Repair Hair Mask 150 ml

1 071 kr

4,0
onsdag, 18 juni
G9 LED-lyspærer – Varmhvit – 10stk

G9 LED-lyspærer – Varmhvit – 10stk

119 kr

3,8
tirsdag, 17 juni