Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
Automated Reasoning
häftad,
2008,
Engelska,
ISBN 9783540710691
This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. The 26 …
Applied Semantics
häftad,
2002,
Engelska,
ISBN 9783540440444
This book is based on material presented at the international summer school on Applied Semantics that took place in Caminha, Portugal, in September 2000. We aim to present some …