Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.99 € Hermes Kurierdienst 5.49 € DHL-Kurier 4.49 € Hermes-Stelle 4.99 € DPD-Stelle 3.49 € GLS-Kurierdienst 5.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Formal Methods in Artificial Intelligence

Name: Formal Methods in Artificial Intelligence
Brand: Cambridge University Press
SKU: 02030414
Price: 55.89 EUR
Availability: InStock
Author: Allan M. Ramsay
ISBN: 9780521424219

Allan M. Ramsay

Sprache

Englisch

Buch Broschur

Libristo-Code: 02030414

Verlag Cambridge University Press, Juli 1991

Artificial intelligence has recently turned to formal logic in the search for powerful yet well-beha... Vollständige Beschreibung

Libristo-Code: 02030414

137 b

55.89 € inkl. MwSt.

Wir liefern bis Weihnachten ▾ Externes Lager Wir versenden in 9-13 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Alienmorder Stephen Goldin

Adobe ePub DRM

3.29 €

La tarification du carbone et ses répercussions Rokhaya

Broschur

24.99 €

Terre Mère MINUIT

Broschur

36.29 €

Sonneberg 1 : 50 000 (L5732)

Karte

7.89 €

Cryogenic Nightmare Chet Cunningham Hörbuch

MP3

25.99 €

Cooperación en la formación entre instituciones

Broschur

22.19 €

L'amour avant que j'oublie Trouillot

Broschur

20.89 €

ENQUETE INTERNATIONALE SUR L'ENSEIGNEMENT DES MATHEMATIQUES : LE CAS FRANCAIS ROBIN DANIEL Buch

Broschur

16.99 €

De Bello Et Excidio Trojae, In Usum Serenissimi Delphini (1702) Dictys Cretensis

Broschur

46.49 €

Mit Volldampf über den Berg. (Puzzle) H. P. Reschinger

Spiel

33.99 €

Correr para vivir : de los campos de Sudán a las olimpiadas Lopez Lomong

Broschur

17.49 €

5 jezykow doceniania w miejscu pracy Gary D. Chapman

Broschur

18.69 €

Triceratops Dennis Schatz

Buch

18.79 €

New York 2017, Streifenkalender XXL Marco Becher

Kalender

19.95 €

Besch ftigung, Geld Und Preisniveaustabilit t Artur Woll

Broschur

55.29 €

Fantom I: Přízračné legie Terry Goodkind

Broschur

12.39 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Formal Methods in Artificial Intelligence

Autor Allan M. Ramsay

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1991

Anzahl der Seiten 292

EAN 9780521424219

ISBN 0521424216

Libristo-Code 02030414

Verlag Cambridge University Press

Gewicht 470

Abmessungen 170 x 244 x 16

Kategorie

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert