Cover Image
Read Now

1
by Alagic, Suad, Arbib, Michael A.
Published 1978
Springer New York
Cover Image
Read Now

4
by Burns, Alan, Lister, Andrew M., Wellings, Andrew J.
Published 1987
Springer Berlin Heidelberg
Cover Image
Read Now

6
Published 2002
Springer Berlin Heidelberg
“..., and developers. Unlike most c- ferences the venue was very dynamic. Many activities were not even well de?ned...”
Cover Image
Read Now

7 Table of Contents: “... -- Tools for Building Ontologies -- Languages for Building Ontologies -- Most Well-Known Ontologies...”
Cover Image
Read Now

8
by Sanders, Bruce D.
Published 1984
Springer New York
Table of Contents: “... Messages for the People -- 4 The Terminally Well Organization -- 5 Making Decisions on the Right Bases -- 6...”
Cover Image
Read Now

9
by Fernstrom, Christer, Kruzela, Ivan, Svensson, Bertil
Published 1986
Springer Berlin Heidelberg
Table of Contents: “... for LUCAS -- Some well-known problems implemented on LUCAS -- LUCAS as a backend processor for relational...”
Cover Image
Read Now

10
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... for rewrite systems with built-in operations -- Hierarchical termination -- Well-foundedness of term orderings...”
Cover Image
Read Now

11
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... execution of well-moded and well-typed Prolog programs -- Efficient closure utilisation by higher-order...”
Cover Image
Read Now

12
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... Derivation in DLP Computations -- Linear Tabulated Resolution for the Well-Founded Semantics -- A Case Study...”
Cover Image
Read Now

13
Published 1992
Springer Berlin Heidelberg
Table of Contents: “...1. Examples of Derivations -- On the Design of a Simple Proof for Morley’s Theorem -- Well...”
Cover Image
Read Now

14
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... -- The logic of FOL systems: Formulated in set theory -- Well-ordering of algebras and Kruskal's theorem...”
Cover Image
Read Now

15
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... of typed logic paradigms for object-oriented databases -- Algebraic computation of the weak well-founded...”
Cover Image
Read Now

16
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Programming -- On the Relationship between Defeasible Logic and Well-Founded Semantics -- A Comparative Study...”
Cover Image
Read Now

17
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... -- On the Correctness of the Factoring Transformation -- Lambda-Lifting in Quadratic Time -- Semantics -- The Well...”
Cover Image
Read Now

18
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... information systems -- A topological data model for spatial databases -- A well-behaved file structure...”
Cover Image
Read Now

19
by Marty, R.
Published 1981
Springer Berlin Heidelberg
Table of Contents: “... principles for an interactive programming language as well as for an interactive programming system...”
Cover Image
Read Now

20
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... for the Semantic Web -- R-DEVICE: A Deductive RDF Rule Language -- Well-Founded Semantics for Description Logic...”