Showing
1 - 2
results of
2
for search '
Bartholomew, M.
'
Skip to content
Home
Collections
High Impact Articles
Jawi Collection
Malay Medicine
Forensic
Search Options
UiTM Open Access
Search by UiTM Scopus
Advanced Search
Search by Category
Discovery Service
Sources
UiTM Journals
List UiTM Journal in IR
Statistic
About
Open Access
Creative Commons Licenses
COKI | Malaysia Open Access
User Guide
Contact Us
Search Tips
FAQs
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Bartholomew, M.
Showing
1 - 2
results of
2
for search '
Bartholomew, M.
'
, query time: 0.13s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Lyell's conception of the history of life
by
Bartholomew
,
M
. J.
Published 1974
Get full text
2
First-order stable model semantics with intensional functions
by
Bartholomew
,
M
.
,
Lee, J.
Published 2019
Call Number:
Loading...
Located:
Loading...
View Fulltext in Publisher
Article
Search Tools:
Get RSS Feed
—
Email this Search
Related Subjects
Answer set programming
Classical logic
Computer circuits
Formal logic
Intensional functions
Logic programming
Logic programs
Modulo theories
Non-monotonicity
Satisfiability modulo Theories
Satisfiability modulo theories
Semantics
Stable model semantics
Loading...