default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 18
Volume 18, 1993
- Piero Pagliani:
From Concept Lattices to Approximation Spaces: Algebraic Structures of Some Spaces of Partial Objects. Fundam. Informaticae 18: 1-25 (1993) - Lila Kari:
Generalized Derivatives. Fundam. Informaticae 18: 27-39 (1993) - Henryk Jan Komorowski:
A Prolegomenon to Partial Deduction. Fundam. Informaticae 18: 41-64 (1993) - Iain A. Stewart:
Logical Characterizations of Bounded Query Classes I: Logspace Oracle Machines. Fundam. Informaticae 18: 65-92 (1993) - Iain A. Stewart:
Logical Characterizations of Bounded Query Classes II: Polynomial-Time Oracle Machines. Fundam. Informaticae 18: 93-105 (1993) - W. M. J. Ophelders, Harrie C. M. de Swart:
Tableaux Versus Resolution a Comparison. Fundam. Informaticae 18: 109-127 (1993) - Serge Garlatti:
Default Logic Models of Certain Inheritance Systems with Exceptions. Fundam. Informaticae 18: 129-149 (1993) - Daniele Mundici:
Ulam Games, Lukasiewicz Logic, and AF C*-Algebras. Fundam. Informaticae 18: 151-161 (1993) - Alexander Leitsch:
Deciding Clause Classes by Semantic Clash Resolution. Fundam. Informaticae 18: 163-182 (1993) - Su-Shing Chen:
Spatial Mental Models in Cognitive Systems. Fundam. Informaticae 18: 183-192 (1993) - Jerzy W. Grzymala-Busse:
Selected Algorithms of Machine Learning from Examples. Fundam. Informaticae 18: 193-207 (1993) - Michael Hadjimichael, Anita Wasilewska:
Application of a Rough Set-Based Inductive Learning System. Fundam. Informaticae 18: 209-220 (1993) - Cristina Baroglio, Marco Botta, Attilio Giordana:
Learning Relations: An Evaluation of Search Strategies. Fundam. Informaticae 18: 221-232 (1993) - Michael M. Richter:
Some Recent Developments in the Representation and Processing of Knowledge. Fundam. Informaticae 18: 233-248 (1993) - Magnus Steinby:
Recognizable and Rational Subsets of Algebras. Fundam. Informaticae 18: 249-266 (1993) - Maurizio Proietti, Alberto Pettorossi:
An Abstract Strategy for Transforming Logic Programs. Fundam. Informaticae 18: 267-286 (1993) - Ivan Korec:
Definability of Arithmetic Operations from the Order and a Random Relation. Fundam. Informaticae 18: 287-296 (1993) - Donald Perlis:
Logic and Artificial Intelligence: A New Synthesis? Fundam. Informaticae 18: 297-305 (1993) - Johan van Benthem:
Modal Frame Classes Revisited. Fundam. Informaticae 18: 307-317 (1993) - Jordi Rebagliato, Ventura Verdú:
On the Algebraization of Some Gentzen Systems. Fundam. Informaticae 18: 319-338 (1993) - Hugo Volger:
Initial and Quasiinitial Models of Theories. Fundam. Informaticae 18: 339-362 (1993)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-02 18:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
