 |
|
What people are saying - Write a reviewUser ratings
User Review - Flag as inappropriate In 1985-1986 I followed some courses on logic at Utrecht University from the author himself. I like the book. The fourth edition is the best one. User Review - Flag as inappropriate I took a course in Logic several years ago at Stockholm University (Kräftriket). This book was used in the course material. I still remember how annoyed it made me due to all the misprints. I will refrain from rating it, in the hope that more recent versions have made the necessary corrections. All I can say is that the book I remember was a piece of crap. Thankfully I had other sources to tap from, or I never would have passed the course. Related books
Contents
Other editions - View all
Common terms and phrasesaccess control adaptation algorithm application approach architecture aspect atoms axioms behaviour cache client communication component composition computing concurrency control consider consistency context information CORBA defined definition derivation distributed domain dynamic Elvin entities environment event example execution fclh finite formula Fractal gateway GIOP hence hypothesis implementation induction infrastructure input interaction interceptor interface intuitionistic logic Java Kripke model language Lemma location information lock mapping middleware mobile agent multicast natural deduction negotiation node notification object ontology operations partial recursive performance platform predicate logic primitive recursive primitive recursive functions Proof propositional logic protocol quantifier reconfiguration recursive functions relation request requirements resource second-order logic Semantic Web semantics sensors sequence server selection Show Skolem Skolem function specific structure symbols Theorem theory tion TISM transaction update variables VASP WSDL References to this bookFrom other books
From Google ScholarSynthesizing plans that contain actions with context-dependent ...Edwin PD Pednault - 1988 - Computational Intelligence Denotational Proof LanguagesKostas Arkoudas Analogical reasoning and case-based learning in model management ...Ting-Peng Liang - 1993 - Decision Support Systems Yet another formalisation of KADS Conceptual ModelsWillem Jonker, Jan Willem Spee Bibliographic information
|