Search by title, author, keywords, etc.

2017

The s(CASP) Goal-Directed Answer Set Programming System: Tutorial and User Manual
Authored by E. Salazar, J. Arias, S. Dasgupta, Y. Zeng, P. Padalkar, G. Gupta

2015

Design and verification of multi-rate distributed systems
Authored by W. Li, L. Gérard, N. Shankar
Feedback
Feedback
If you experience a bug or would like to see an addition on the current page, feel free to leave us a message.
Image CAPTCHA
Enter the characters shown in the image.
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.