Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
Discussion
View history
Purge
English
Log in
No label defined
(Q4028785)
From MaRDI portal
Jump to:
navigation
,
search
scientific article
Language
Label
Description
Also known as
English
No label defined
scientific article
Statements
instance of
scholarly article
0 references
zbMATH Open document ID
0825.68609
0 references
author
Premkumar Devanbu
0 references
Diane J. Litman
0 references
publication date
28 March 1993
0 references
Mathematics Subject Classification ID
68T30
0 references
68T15
0 references
zbMATH DE Number
140379
0 references
MaRDI profile type
MaRDI publication profile
0 references
cites work
Maintaining knowledge about temporal intervals
0 references
Q4028767
0 references
Q3489513
0 references
Q4028785
0 references
STRIPS: A new approach to the application of theorem proving to problem solving
0 references
First-order dynamic logic
0 references
An empirical analysis of terminological representation systems
0 references
Q3198907
0 references
Planning in a hierarchy of abstraction spaces
0 references
Q4166250
0 references
Q3311639
0 references
Q3493291
0 references
Sitelinks
Mathematics
(1 entry)
mardi
Publication:4028785
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
Concept URI