Old Web
English
Sign In
Acemap
>
authorDetail
>
Bob Zhang
Bob Zhang
Kansas State University
Temporal logic
Machine learning
Interval temporal logic
Linear temporal logic
Artificial intelligence
1
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Time Passive Property in Linear Past Temporal Logic
1995
Bob Zhang
Elizabeth A. Unger
Show All
Source
Cite
Save
Citations (0)
1