Bedankt voor het vertrouwen het afgelopen jaar! Om jou te bedanken bieden we GRATIS verzending (in België) aan op alles gedurende de hele maand januari.
- Afhalen na 1 uur in een winkel met voorraad
- In januari gratis thuislevering in België
- Ruim aanbod met 7 miljoen producten
Bedankt voor het vertrouwen het afgelopen jaar! Om jou te bedanken bieden we GRATIS verzending (in België) aan op alles gedurende de hele maand januari.
- Afhalen na 1 uur in een winkel met voorraad
- In januari gratis thuislevering in België
- Ruim aanbod met 7 miljoen producten
Omschrijving
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.
Specificaties
Betrokkenen
- Auteur(s):
- Uitgeverij:
Inhoud
- Aantal bladzijden:
- 292
- Taal:
- Engels
- Reeks:
- Reeksnummer:
- nr. 6
Eigenschappen
- Productcode (EAN):
- 9780521424219
- Verschijningsdatum:
- 26/07/1991
- Uitvoering:
- Paperback
- Formaat:
- Trade paperback (VS)
- Afmetingen:
- 174 mm x 245 mm
- Gewicht:
- 503 g
Alleen bij Standaard Boekhandel
+ 147 punten op je klantenkaart van Standaard Boekhandel
SOLDEN
Beoordelingen
We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.