|
Logic with Trees: An Introduction to Symbolic Logic Автор: Howson C. Год: 1997 |
Syntax, Lexical Semantics, and Event Structure (Oxford Studies in Theoretical Linguistics) Автор: Ivy Sichel, Malka Rappaport Hovav, Edit Doron Год: 2010 |
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 |