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

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

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: 56.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

139 b

56.89 € inkl. MwSt.

Externes Lager Wir versenden in 9-15 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

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

Broschur

47.49 €

New York 2017, Streifenkalender XXL Marco Becher

Kalender

19.95 €

Alienmorder Stephen Goldin

Adobe ePub DRM

2.79 €

Cryogenic Nightmare Chet Cunningham Hörbuch

MP3

26.09 €

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

Broschur

13.79 €

La tarification du carbone et ses répercussions Rokhaya

Broschur

28.39 €

Cooperación en la formación entre instituciones

Broschur

24.39 €

Triceratops Dennis Schatz

Buch

18.39 €

Besch ftigung, Geld Und Preisniveaustabilit t Artur Woll

Broschur

55.29 €

Sonneberg 1 : 50 000 (L5732)

Karte

8.49 €

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

Spiel

35.79 €

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