Hoppa till sidans huvudinnehåll

Del 6

Formal Methods in Artificial Intelligence

Häftad, Engelska, 1991

AvAllan M. Ramsay,Allan M. (University College Dublin) Ramsay,Allan Ramsay,C. J. Van Rijsbergen,C. J. van Rijsbergen,Samson Abramsky

709 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

Del 23

Nets, Terms and Formulas

E. -R. Olderog, Germany) Olderog, E. -R. (Carl V. Ossietzky Universitat Oldenburg, E. R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad

779 kr

Del 34

Two-Level Functional Languages

Flemming Nielson, Hanne Riis Nielson, Denmark) Nielson, Flemming (Aarhus Universitet, Denmark) Nielson, Hanne Riis (Aarhus Universitet, C. J. van Rijsbergen

Häftad

859 kr

Del 19

Extensions of First-Order Logic

Maria Manzano, Maria (Universitat de Barcelona) Manzano, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad

1 149 kr

Del 40

Free Choice Petri Nets

Jorg Desel, Javier Esparza, Jorg (Humboldt-Universitat zu Berlin) Desel, Javier (University of Edinburgh) Esparza, C. J. van Rijsbergen

Häftad

689 kr

Del 32

The Logic of Typed Feature Structures

Robert L. Carpenter, Pennsylvania) Carpenter, Robert L. (Carnegie Mellon University, Bob Carpenter, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad

779 kr

Del 3

Understanding Z

J. M. Spivey, J. M. (University of Oxford) Spivey, Spivey J. M.

Häftad

599 kr

Hoppa över listan

Du kanske också är intresserad av

Del 29

Belief Revision

Peter Gärdenfors, Peter Gärdenfors, Sweden) Gardenfors, Peter (Lunds Universitet, Peter Gardenfors, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad

1 069 kr

Del 19

Extensions of First-Order Logic

Maria Manzano, Maria (Universitat de Barcelona) Manzano, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad

1 149 kr

Del 5

Topology via Logic

Steven Vickers, London) Vickers, Steven (Imperial College of Science, Technology and Medicine, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad

799 kr

Del 9

Updating Logical Databases

Marianne Winslett, Urbana-Champaign) Winslett, Marianne (University of Illinois, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad

639 kr

Del 2

Logic and Computation

Lawrence C. Paulson, Lawrence C. (University of Cambridge) Paulson, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad

869 kr

Del 10

Theoretical Foundations of VLSI Design

K. McEvoy, J. V. Tucker, K. (University of Leeds) McEvoy, Swansea) Tucker, J. V. (University of Wales, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad

819 kr

Del 32

The Logic of Typed Feature Structures

Robert L. Carpenter, Pennsylvania) Carpenter, Robert L. (Carnegie Mellon University, Bob Carpenter, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad

779 kr