Title: Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings / Edition 1, Author: Miquel Bertran
Title: Logic And Language Models For Computer Science (Third Edition), Author: Dana Richards
Title: Knowledge Acquisition from a Collaboratively Generated Encyclopedia - Vol. 327 Dissertations in Artificial Intelligence, Author: S.P. Ponzetto