539 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

Du kanske också är intresserad av

Conditionals: From Philosophy to Computer Science
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

1 589 kr

Nonstandard Queries and Nonstandard Answers
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

2 069 kr

What is a Logical System?
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

3 189 kr

Logical Reasoning with Diagrams
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

2 809 kr

Substructural Logics
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

2 799 kr

Den yttersta hemligheten
Del 6

Den yttersta hemligheten

Dan Brown

289 kr329 kr

Pappaskämt : den ultimata humorn

Pappaskämt : den ultimata humorn

 

49 kr79 kr

Hitster - Christmas

Hitster - Christmas

Jumbo

259 kr

Logical Modeling of Biological Systems

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

2 949 kr

Jul med guldkant
  • Nyhet

Jul med guldkant

Catarina König

299 kr349 kr