Catálogo de publicaciones - libros

Compartir en
redes sociales


Discrete Mathematics Using a Computer

John O’Donnell Cordelia Hall Rex Page

2.

Resumen/Descripción – provisto por la editorial

No disponible.

Palabras clave – provistas por la editorial

Discrete Mathematics in Computer Science; Mathematical Logic and Formal Languages; Algorithm Analysis and Problem Complexity

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2006 SpringerLink

Información

Tipo de recurso:

libros

ISBN impreso

978-1-84628-241-6

ISBN electrónico

978-1-84628-598-1

Editor responsable

Springer Nature

País de edición

Reino Unido

Fecha de publicación

Información sobre derechos de publicación

© Springer-Verlag London Limited 2006

Tabla de contenidos

Introduction to Haskell

John O’Donnell; Cordelia Hall; Rex Page

This paper presents a Conceptual Graph () framework to the Generation of Referring Expressions (). Employing Conceptual Graphs as the underlying formalism allows a new rigorous, semantically rich, approach to : the intended referent is indentified by a combination of facts that can be deduced in its presence but not if it would be absent. Since s allow a substantial generalisation of the GRE problem, we show how the resulting formalism can be used by a algorithm that uniquely to objects in the scene.

Part I - Programming and Reasoning with Equations | Pp. 3-35

Equational Reasoning

John O’Donnell; Cordelia Hall; Rex Page

This paper presents a Conceptual Graph () framework to the Generation of Referring Expressions (). Employing Conceptual Graphs as the underlying formalism allows a new rigorous, semantically rich, approach to : the intended referent is indentified by a combination of facts that can be deduced in its presence but not if it would be absent. Since s allow a substantial generalisation of the GRE problem, we show how the resulting formalism can be used by a algorithm that uniquely to objects in the scene.

Part I - Programming and Reasoning with Equations | Pp. 37-46

Recursion

John O’Donnell; Cordelia Hall; Rex Page

This paper presents a Conceptual Graph () framework to the Generation of Referring Expressions (). Employing Conceptual Graphs as the underlying formalism allows a new rigorous, semantically rich, approach to : the intended referent is indentified by a combination of facts that can be deduced in its presence but not if it would be absent. Since s allow a substantial generalisation of the GRE problem, we show how the resulting formalism can be used by a algorithm that uniquely to objects in the scene.

Part I - Programming and Reasoning with Equations | Pp. 47-60

Introduction

John O’Donnell; Cordelia Hall; Rex Page

This paper presents a Conceptual Graph () framework to the Generation of Referring Expressions (). Employing Conceptual Graphs as the underlying formalism allows a new rigorous, semantically rich, approach to : the intended referent is indentified by a combination of facts that can be deduced in its presence but not if it would be absent. Since s allow a substantial generalisation of the GRE problem, we show how the resulting formalism can be used by a algorithm that uniquely to objects in the scene.

Part I - Programming and Reasoning with Equations | Pp. 61-81

Trees

John O’Donnell; Cordelia Hall; Rex Page

This paper presents a Conceptual Graph () framework to the Generation of Referring Expressions (). Employing Conceptual Graphs as the underlying formalism allows a new rigorous, semantically rich, approach to : the intended referent is indentified by a combination of facts that can be deduced in its presence but not if it would be absent. Since s allow a substantial generalisation of the GRE problem, we show how the resulting formalism can be used by a algorithm that uniquely to objects in the scene.

Part I - Programming and Reasoning with Equations | Pp. 83-106

Propositional Logic

John O’Donnell; Cordelia Hall; Rex Page

This paper presents a Conceptual Graph () framework to the Generation of Referring Expressions (). Employing Conceptual Graphs as the underlying formalism allows a new rigorous, semantically rich, approach to : the intended referent is indentified by a combination of facts that can be deduced in its presence but not if it would be absent. Since s allow a substantial generalisation of the GRE problem, we show how the resulting formalism can be used by a algorithm that uniquely to objects in the scene.

Part II - Logic | Pp. 109-162

Predicate Logic

John O’Donnell; Cordelia Hall; Rex Page

This paper presents a Conceptual Graph () framework to the Generation of Referring Expressions (). Employing Conceptual Graphs as the underlying formalism allows a new rigorous, semantically rich, approach to : the intended referent is indentified by a combination of facts that can be deduced in its presence but not if it would be absent. Since s allow a substantial generalisation of the GRE problem, we show how the resulting formalism can be used by a algorithm that uniquely to objects in the scene.

Part II - Logic | Pp. 163-185

Set Theory

John O’Donnell; Cordelia Hall; Rex Page

This paper presents a Conceptual Graph () framework to the Generation of Referring Expressions (). Employing Conceptual Graphs as the underlying formalism allows a new rigorous, semantically rich, approach to : the intended referent is indentified by a combination of facts that can be deduced in its presence but not if it would be absent. Since s allow a substantial generalisation of the GRE problem, we show how the resulting formalism can be used by a algorithm that uniquely to objects in the scene.

Part III - Set Theory | Pp. 189-206

Inductively Defined Sets

John O’Donnell; Cordelia Hall; Rex Page

This paper presents a Conceptual Graph () framework to the Generation of Referring Expressions (). Employing Conceptual Graphs as the underlying formalism allows a new rigorous, semantically rich, approach to : the intended referent is indentified by a combination of facts that can be deduced in its presence but not if it would be absent. Since s allow a substantial generalisation of the GRE problem, we show how the resulting formalism can be used by a algorithm that uniquely to objects in the scene.

Part III - Set Theory | Pp. 207-222

Relations

John O’Donnell; Cordelia Hall; Rex Page

This paper presents a Conceptual Graph () framework to the Generation of Referring Expressions (). Employing Conceptual Graphs as the underlying formalism allows a new rigorous, semantically rich, approach to : the intended referent is indentified by a combination of facts that can be deduced in its presence but not if it would be absent. Since s allow a substantial generalisation of the GRE problem, we show how the resulting formalism can be used by a algorithm that uniquely to objects in the scene.

Part III - Set Theory | Pp. 223-265