Del 1 i serien Studies in Logic and Computation

Intensional Logics for Programming

Inbunden, Engelska, 1992

AvLuis Fariñas del Cerro,Martti Penttonen

609 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

Systemvetenskap och AI inom Data och IT
Programmeringsböcker inom Data och IT

H.A. Blair, A.L. Brown, Jr., and V.S. Subrahmanian: Monotone logic programming; M.A. Orgun and W.W. Wadge: Theory and practice of temporal logic programming; M. Baudinet: A simple proof of the completeness of temporal logic programming; D.M. Gabbay: Metalevel features in the object level: modal and temporal logic programming III; D. Nute: Basic defeasible logic; S. Cerrito: Negation and linear completion; P. Balbiani: A promenade from provability to consistency.

Mer från samma författare

Del 5

Conditionals: From Philosophy to Computer Science

G. Crocco, Luis Fariñas del Cerro, A. Herzig, G. Crocco, L. Fariñas del Cerro

Inbunden, 1995

1 679 kr

Logical Modeling of Biological Systems

Luis Fariñas del Cerro, Katsumi Inoue

Inbunden, 2014

3 019 kr

Logics in Artificial Intelligence

Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin

Häftad, 2012

739 kr

Mer från samma serie

Del 6

Logical Reasoning with Diagrams

Gerard Allwein, Jon Barwise, Gerard Allwein, Jon Barwise

Inbunden, 1996

3 689 kr

Del 2

Substructural Logics

Dosen Schroeder-Heister, Kosta Dosen, Kosta Dosen, Peter Schroder-Heister

Inbunden, 1993

2 789 kr

Del 3

Nonstandard Queries and Nonstandard Answers

Imielinski Demolombe, Tomasz Imielinski, R. Demolombe, T. Imielinski

Inbunden, 1994

2 589 kr

Del 4

What is a Logical System?

D. M. Gabbay

Inbunden, 1994

4 329 kr

Del 5

Conditionals: From Philosophy to Computer Science

G. Crocco, Luis Fariñas del Cerro, A. Herzig, G. Crocco, L. Fariñas del Cerro

Inbunden, 1995

1 679 kr

Du kanske också är intresserad av

Del 5

Conditionals: From Philosophy to Computer Science

G. Crocco, Luis Fariñas del Cerro, A. Herzig, G. Crocco, L. Fariñas del Cerro

Inbunden, 1995

1 679 kr

Logical Modeling of Biological Systems

Luis Fariñas del Cerro, Katsumi Inoue

Inbunden, 2014

3 019 kr

Algorithm Theory - SWAT 2002

Martti Penttonen, Erik Meineche Schmidt

Häftad, 2002

739 kr

Logics in Artificial Intelligence

Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin

Häftad, 2012

739 kr

Del 3

Nonstandard Queries and Nonstandard Answers

Imielinski Demolombe, Tomasz Imielinski, R. Demolombe, T. Imielinski

Inbunden, 1994

2 589 kr

Del 4

What is a Logical System?

D. M. Gabbay

Inbunden, 1994

4 329 kr

Del 6

Logical Reasoning with Diagrams

Gerard Allwein, Jon Barwise, Gerard Allwein, Jon Barwise

Inbunden, 1996

3 689 kr

Del 2

Substructural Logics

Dosen Schroeder-Heister, Kosta Dosen, Kosta Dosen, Peter Schroder-Heister

Inbunden, 1993

2 789 kr

Ruth Kvarnström-Jones - Systrarna på Sophiahemmet, Inbunden

Nyhet

Del 3

Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

299 kr329 kr

Nyhet

Del 11

Medusa

Lars Kepler

Inbunden, 2026

289 kr319 kr

Del 1 i serien Studies in Logic and Computation

Intensional Logics for Programming

Inbunden, Engelska, 1992

AvLuis Fariñas del Cerro,Martti Penttonen

609 kr

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

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

Systemvetenskap och AI inom Data och IT
Programmeringsböcker inom Data och IT

H.A. Blair, A.L. Brown, Jr., and V.S. Subrahmanian: Monotone logic programming; M.A. Orgun and W.W. Wadge: Theory and practice of temporal logic programming; M. Baudinet: A simple proof of the completeness of temporal logic programming; D.M. Gabbay: Metalevel features in the object level: modal and temporal logic programming III; D. Nute: Basic defeasible logic; S. Cerrito: Negation and linear completion; P. Balbiani: A promenade from provability to consistency.

Mer från samma författare

Del 5

Conditionals: From Philosophy to Computer Science

G. Crocco, Luis Fariñas del Cerro, A. Herzig, G. Crocco, L. Fariñas del Cerro

Inbunden, 1995

1 679 kr

Logical Modeling of Biological Systems

Luis Fariñas del Cerro, Katsumi Inoue

Inbunden, 2014

3 019 kr

Logics in Artificial Intelligence

Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin

Häftad, 2012

739 kr

Mer från samma serie

Del 6

Logical Reasoning with Diagrams

Gerard Allwein, Jon Barwise, Gerard Allwein, Jon Barwise

Inbunden, 1996

3 689 kr

Del 2

Substructural Logics

Dosen Schroeder-Heister, Kosta Dosen, Kosta Dosen, Peter Schroder-Heister

Inbunden, 1993

2 789 kr

Del 3

Nonstandard Queries and Nonstandard Answers

Imielinski Demolombe, Tomasz Imielinski, R. Demolombe, T. Imielinski

Inbunden, 1994

2 589 kr

Del 4

What is a Logical System?

D. M. Gabbay

Inbunden, 1994

4 329 kr

Del 5

Conditionals: From Philosophy to Computer Science

G. Crocco, Luis Fariñas del Cerro, A. Herzig, G. Crocco, L. Fariñas del Cerro

Inbunden, 1995

1 679 kr

Du kanske också är intresserad av

Del 5

Conditionals: From Philosophy to Computer Science

G. Crocco, Luis Fariñas del Cerro, A. Herzig, G. Crocco, L. Fariñas del Cerro

Inbunden, 1995

1 679 kr

Logical Modeling of Biological Systems

Luis Fariñas del Cerro, Katsumi Inoue

Inbunden, 2014

3 019 kr

Algorithm Theory - SWAT 2002

Martti Penttonen, Erik Meineche Schmidt

Häftad, 2002

739 kr

Logics in Artificial Intelligence

Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin

Häftad, 2012

739 kr

Del 3

Nonstandard Queries and Nonstandard Answers

Imielinski Demolombe, Tomasz Imielinski, R. Demolombe, T. Imielinski

Inbunden, 1994

2 589 kr

Del 4

What is a Logical System?

D. M. Gabbay

Inbunden, 1994

4 329 kr

Del 6

Logical Reasoning with Diagrams

Gerard Allwein, Jon Barwise, Gerard Allwein, Jon Barwise

Inbunden, 1996

3 689 kr

Del 2

Substructural Logics

Dosen Schroeder-Heister, Kosta Dosen, Kosta Dosen, Peter Schroder-Heister

Inbunden, 1993

2 789 kr

Nyhet

Del 3

Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

299 kr329 kr

Nyhet

Del 11

Medusa

Lars Kepler

Inbunden, 2026

289 kr319 kr

Intensional Logics for Programming

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Recensioner i media

Mer från samma författare

Mer från samma serie

Du kanske också är intresserad av

Intensional Logics for Programming

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Recensioner i media

Mer från samma författare

Mer från samma serie

Du kanske också är intresserad av

Intensional Logics for Programming

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Recensioner i media

Mer från samma författare

Mer från samma serie

Du kanske också är intresserad av

Intensional Logics for Programming

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Recensioner i media

Mer från samma författare