Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008340050/catalog> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- catalog contributor b11612061.
- catalog contributor b11612062.
- catalog contributor b11612063.
- catalog created "c2000.".
- catalog date "2000".
- catalog date "c2000.".
- catalog dateCopyrighted "c2000.".
- catalog description "I. Agents, Games, and Reasoning with Incomplete Information. Commonsense as Motion / Areski Nait Abdallah. Intersubjective Consistency of Knowledge and Belief / Giacomo Bonanno and Klaus Nehring. Formalizing Potential of Agents / W. van der Hoek, J.-J. Ch. Meyer and J.W. van Schagen. An Introduction to Game Logic / Marc Pauly -- II. Reasoning Formalized: Logical Frameworks, Resolution, and Proof Theory. Logical Frameworks / Iliano Cervesato. Logical Frameworks / Grigori Mints. An Overview of Resolution Decision Procedures / Hans de Nivelle. From Propositional to Linear Logic: An Introduction / Harold Schellinx -- III. Compositions that Make Sense. Dimensional Adjectives and Measure Phrases in Vector Space Semantics / Martina Faller.".
- catalog description "Includes bibliographical references and index.".
- catalog extent "x, 221 p. :".
- catalog identifier "1575862395 (cloth : alk. paper)".
- catalog identifier "1575862409 (pbk. : alk. paper)".
- catalog issued "2000".
- catalog issued "c2000.".
- catalog language "eng".
- catalog publisher "Stanford, Calif. : CLSI Publications,".
- catalog subject "003/.54 21".
- catalog subject "Information theory.".
- catalog subject "Q360 .F665 2000".
- catalog subject "System theory.".
- catalog tableOfContents "I. Agents, Games, and Reasoning with Incomplete Information. Commonsense as Motion / Areski Nait Abdallah. Intersubjective Consistency of Knowledge and Belief / Giacomo Bonanno and Klaus Nehring. Formalizing Potential of Agents / W. van der Hoek, J.-J. Ch. Meyer and J.W. van Schagen. An Introduction to Game Logic / Marc Pauly -- II. Reasoning Formalized: Logical Frameworks, Resolution, and Proof Theory. Logical Frameworks / Iliano Cervesato. Logical Frameworks / Grigori Mints. An Overview of Resolution Decision Procedures / Hans de Nivelle. From Propositional to Linear Logic: An Introduction / Harold Schellinx -- III. Compositions that Make Sense. Dimensional Adjectives and Measure Phrases in Vector Space Semantics / Martina Faller.".
- catalog title "Formalizing the dynamics of information / Martina Faller, Stefan Kaufmann, Marc Pauly, editors.".
- catalog type "text".