|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 8 keywords
|
|
|
Results
Found 2 publication records. Showing 2 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
46 | Elena G. van Stee, Taylor Heath, Ryan Shaun Baker, Juliana Ma. Alexandra L. Andres, Jaclyn Ocumpaugh |
Help Seekers vs. Help Accepters: Understanding Student Engagement with a Mentor Agent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIED ![In: Artificial Intelligence in Education - 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings, pp. 139-150, 2023, Springer, 978-3-031-36271-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
36 | Vineet Gupta 0001, Vaughan R. Pratt |
Gages Accept Concurrent Behavior ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 34th Annual Symposium on Foundations of Computer Science, Palo Alto, California, USA, 3-5 November 1993, pp. 62-71, 1993, IEEE Computer Society, 0-8186-4370-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
natural concurrent programming language, concurrent behavior, Boolean propositions, intrinsic notion, consequence-preserving renamings, automata, linear logic, duality, accepters, event structures, gates, morphisms, algebraic structure |
Displaying result #1 - #2 of 2 (100 per page; Change: )
|
|