hide
Title:
Proceedings of the 3rd International Conference on Formal and Applied Practical Reasoning (FAPR-00)
Source Genre:
Proceedings
Creator(s):
Cunningham, Jim, Editor
Gabbay, Dov, Editor
Affiliations:
-
Publ. Info:
London, UK : Imperial College Department of Computing
Pages:
-
Volume / Issue:
-
Sequence Number:
-
Start / End Page:
37 - 48
Identifier:
ISBN: ISSN 1469-4166