Showing
1 - 1
results of
1
for search '
"pen name"
'
Skip to content
University Library
Library Catalogue Plus
Toggle navigation
New Search
Subject Guides (including databases)
Your Account
Log Out
Login
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
English
Catalogue
Articles Plus
Keyword
Title
Author
Subject
Find
Advanced Search
Reset Filters
Format:
Conference Proceedings
Reset Filters
Show filters (1)
Format:
Conference Proceedings
Search Results - "pen name"
Showing
1 - 1
results of
1
for search '
"pen name"
'
Refine Results
Sort
Relevance
Date Descending
Author
Title
1
F-logic: a higher-order language for reasoning about objects, inheritance, and scheme
by
Kifer, Michael
,
Lausen, Georg
Get full text
Conference Proceeding
Save to List
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Back
Narrow Search
Limit To
Full Text
1
Format
Conference Proceedings
Subjects
Information Systems -- Data Management Systems -- Database Design And Models
1
Information Systems -- Data Management Systems -- Query Languages
1
Mathematics
1
Mathematics, Applied
1
Physical Sciences
1
Science & Technology
1
Theory Of Computation -- Semantics And Reasoning
1
Theory Of Computation -- Semantics And Reasoning -- Program Semantics
1
Year of Publication
From:
To:
Source
Acm Digital Library Complete
1
Kb+ Jisc Collections Association For Computing Machinery Acm Open 2023-2025 (Reading List)
1
© 2017 Loughborough University. All rights reserved.
Loading...