Refining the Knowledge Production Plan: Knowledge Representations ...
Serghei Floricel & John L. Michela & Mark George & Line Bonneau
The Name of the Rose
Umberto Eco
Goal-Directed Proof Theory
Dov M. Gabbay & N. Olivetti
Invaded: The Intentional Destruction of the American Immigration ...
John James Carrell
Dart Programming Language Specification - Draft Version v2.10
The Dart Team
An Artificial Revolution
Ivana Bartoletti