Algorithms, Concurrency and Knowledge These conference proceedings cover topics which include: algorithms; knowledge representation; programming and specification languages; verification; concurrency; networking and distributed systems; and databases. Full description
"synopsis" may belong to another edition of this title.