Hoppa till sidans huvudinnehåll

Del 6 i serien Cambridge Tracts in Theoretical Computer Science

Formal Methods in Artificial Intelligence

Häftad, Engelska, 1991

AvAllan M. Ramsay,C. J. Van Rijsbergen,C. J. van Rijsbergen,Samson Abramsky

759 kr

Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Tillhör följande kategorier

Hoppa över listan

Mer från samma serie

E. -R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Nets, Terms and Formulas, Häftad
Del 23

Nets, Terms and Formulas

E. -R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad, 2005

829 kr

Hoppa över listan

Du kanske också är intresserad av

E. -R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Nets, Terms and Formulas, Häftad
Del 23

Nets, Terms and Formulas

E. -R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad, 2005

829 kr

Steven Vickers, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Topology via Logic, Häftad
Del 5

Topology via Logic

Steven Vickers, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad, 1996

869 kr

Lawrence C. Paulson, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Logic and Computation, Häftad
Del 2

Logic and Computation

Lawrence C. Paulson, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad, 1990

939 kr