|
Logic with Trees: An Introduction to Symbolic Logic Автор: Howson C. Год: 1997 |
Logic and specification: extending VDM-SL for advanced formal specification Автор: Cornelis A. Middelburg Год: 1993 |
All about Maude.. a high-performance logical framework Автор: Manuel Clavel Год: 2007 |
Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008) - Volume 183 Frontiers in Artificial Intelligence and Applications Автор: C. Eschenbach, M. Gruninger Год: 2008 |
Scalable Techniques for Formal Verification Автор: Sandip Ray Год: 2010 |
Complexity Scales and Licensing in Phonology (Studies in Generative Grammar) Автор: Eugeniusz Cyran Год: 2010 |