Hoppa till sidans huvudinnehåll

519 kr

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

This volume is a collection of papers around the theme of extending the logic programming paradigm to the area of intensional logics. Intensional logics play a central role in AI and computing, as well as in the theoretical foundation of logic programming. Intensional logic programming is one of the current frontline research areas of computational logics. This not only helps the understanding of logic programs, but will have a significant impact on future developments of logic programming itself.

Produktinformation

  • Utgivningsdatum1992-08-27
  • Mått162 x 241 x 18 mm
  • Vikt510 g
  • FormatInbunden
  • SpråkEngelska
  • SerieStudies in Logic and Computation
  • Antal sidor230
  • FörlagClarendon Press
  • ISBN9780198537755

Tillhör följande kategorier

Hoppa över listan

Du kanske också är intresserad av

Del 5

Conditionals: From Philosophy to Computer Science

G. Crocco, Luis Fariñas del Cerro, A. Herzig, Luis Farinas del Cerro, France) Herzig, A. (, all at Languages et Systemes Informatiques, Universite Paul Sabatier, Toulouse, Farinas del Cerro Crocco, Farinas Del Cerro Crocco, Luis Farinas Del Cerro, G. Crocco, L. Fariñas del Cerro

Inbunden

1 529 kr

Del 3

Nonstandard Queries and Nonstandard Answers

Imielinski Demolombe, Tomasz Imielinski, R. Demolombe, R. Demolombe, T. Imielinski, Centre d'Etudes et de Recherches de Toulouse) Demolombe, R. (Professor, Professor, USA) Imielinski, T. (Professor, Department of Computer Science, Professor, Department of Computer Science, Rutgers University, New Jersey

Inbunden

2 029 kr

Del 4

What is a Logical System?

D. M. Gabbay, University of London) Gabbay, D. M. (Professor of Computing Science, Department of Computing, Professor of Computing Science, Department of Computing, Imperial College of Science, Technology and Medicine

Inbunden

3 139 kr

Del 6

Logical Reasoning with Diagrams

Gerard Allwein, Jon Barwise, Indiana University) Allwein, Gerard (Assistant Director, Visual Inference Laboratory, Assistant Director, Visual Inference Laboratory, USA) Barwise, Jon (Department of Computer Science, Mathematics, and Philosophy, Department of Computer Science, Mathematics, and Philosophy, Indiana University, Barwise Allwein, Gerard Allwein, Jon Barwise

Inbunden

2 749 kr

Del 2

Substructural Logics

Dosen Schroeder-Heister, Kosta Dosen, P. Schroeder-Heister, Kosta Dosen, Peter Schroder-Heister, Belgrade) Dosen, Kosta (Professor of Mathematical Logic, Professor of Mathematical Logic, Mathematical Institute, Universitat Tubingen) Schroder-Heister, Peter (Professor of Logic and Philosophy of Language, Professor of Logic and Philosophy of Language

Inbunden

2 679 kr

Logical Modeling of Biological Systems

Luis Fariñas del Cerro, Katsumi Inoue, France) del Cerro, Luis Farinas (IRIT, Toulouse, Japan) Inoue, Katsumi (National Institute of Informatics, Tokyo

Inbunden

2 829 kr