Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Formal Methods in Artificial Intelligence

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Formal Methods in Artificial Intelligence Allan M. Ramsay
Libristo-code: 02030414
Uitgeverij Cambridge University Press, juli 1991
Artificial intelligence has recently turned to formal logic in the search for powerful yet well-beha... Volledige beschrijving
? points 133 b
55.03 €
In extern magazijn Wordt binnen 9-15 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

De Bello Et Excidio Trojae, In Usum Serenissimi Delphini (1702) Dictys Cretensis / Boek Gebonden (paperback)
common.buy 45.82 €
New York 2017, Streifenkalender XXL Marco Becher / Kalender/agenda Kalender
common.buy 16.79 €
Alienmorder Stephen Goldin / E-book Adobe ePub DRM
common.buy 2.72 €
Cryogenic Nightmare Chet Cunningham Luisterboek MP3
common.buy 25.08 €
Fantom I: Přízračné legie Terry Goodkind / Boek Gebonden (paperback)
common.buy 13.14 €
La tarification du carbone et ses répercussions Rokhaya / Boek Gebonden (paperback)
common.buy 27.61 €
Cooperación en la formación entre instituciones / Boek Gebonden (paperback)
common.buy 23.77 €
Triceratops Dennis Schatz / Boek Boek
common.buy 17.59 €
Besch ftigung, Geld Und Preisniveaustabilit t Artur Woll / Boek Gebonden (paperback)
common.buy 53.11 €
Sonneberg 1 : 50 000 (L5732) / Drukwerk Kaart
common.buy 8.59 €
Mit Volldampf über den Berg. (Puzzle) H. P. Reschinger / Spel/speelgoed Spel
common.buy 36.21 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Formal Methods in Artificial Intelligence
Auteur Allan M. Ramsay
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1991
Aantal pagina's 292
EAN 9780521424219
ISBN 0521424216
Libristo-code 02030414
Uitgeverij Cambridge University Press
Gewicht 470
Afmetingen 170 x 244 x 16

Categorieën

Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Knowledge Intensive Computer Aided Design Susan Finger / Boek Gebonden (harde band)
common.buy 236.85 €
Miscellaneous Papers on Political and Commercial Subjects ]. Noah Webster / Boek Gebonden (paperback)
common.buy 22.25 €
Religion, belief and social work Sheila Furness / Boek Gebonden (paperback)
common.buy 34.39 €
Er Larry Stockstill / Boek Gebonden (paperback)
common.buy 19.42 €
Race and Ethnicity in Anglo-Saxon Literature Stephen J. Harris / Boek Gebonden (harde band)
common.buy 235.03 €
Visionary Greg Belter / Boek Gebonden (paperback)
common.buy 8.39 €
FLAGHOPPING And Other Poems MICHAEL PATTWELL / Boek Gebonden (paperback)
common.buy 19.62 €
Acts R. Kent Hughes / Boek Gebonden (harde band)
common.buy 36.72 €
Treasury of Miracles for Teens Karen Kingsbury / Boek Gebonden (harde band)
common.buy 18.71 €
Óscar y la gata de medianoche Ron Brooks / Boek Gebonden (paperback)
common.buy 17.39 €
Complications of Bone Marrow and Stem Cell Transplants: Fast Focus Study Guide J T Thomas MD / Boek Gebonden (paperback)
common.buy 12.13 €
The Thing That Made the Noise: The Search for the Thing Jaymes Brown / Boek Gebonden (paperback)
common.buy 15.77 €
Growing God's Gifts Lucy Joy / Boek Gebonden (harde band)
common.buy 14.26 €
The Soldier's Companion To The Spiritual Exercises (1882) Joseph Redman / Boek Gebonden (paperback)
common.buy 22.15 €
Saddle Club 54: Gold Medal Rider Bonnie Bryant / E-book Adobe ePub DRM
common.buy 7.68 €
Bioinformatics with Python Cookbook - Third Edition Tiago Antao / Boek Gebonden (paperback)
common.buy 59.08 €
Mr Men Little Miss Audio Collection Roger Hargreaves / Luisterboek MP3
common.buy 5.86 €
Royal School of Needlework: Wall of Wool (Blank Sketch Book) Flame Tree Publishing / Boek Gebonden (harde band)
common.buy 14.66 €
In Fields Where Daisies Grow Elizabeth Jeffrey / Boek Gebonden (paperback)
common.buy 30.85 €
Chesapeake Campaigns 1813-15 Scott Sheads / Boek Gebonden (paperback)
common.buy 21.74 €
TOP
Star Wars: The Essential Atlas Daniel Wallace / Boek Gebonden (paperback)
common.buy 26.70 €
Classical Mechanics Walter Greiner / Boek Gebonden (paperback)
common.buy 100.76 €
Quantum Computing Debabrata Goswami / Boek Gebonden (harde band)
common.buy 131.12 €
Universality of Nonclassical Nonlinearity Pier Paolo Delsanto / Boek Gebonden (paperback)
common.buy 205.79 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken