7604737
9780471923459
Languages and Logics. Intensional Logic and Natural Language. Montague2s Semantics. Temporal Logic. Formalization of Revisable Reasoning. Logic and Databases. Bibliography. Index.Thayse, A. is the author of 'From Modal Logic to Deductive Databases: Introducing a Logic Based Approach to Artificial Intelligence (From Standard Logic to Logic Programming)' with ISBN 9780471923459 and ISBN 0471923451.
[read more]