Matches in Harvard for { <http://id.lib.harvard.edu/aleph/001528106/catalog> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- catalog contributor b2176560.
- catalog contributor b2176561.
- catalog contributor b2176562.
- catalog created "1988.".
- catalog date "1988".
- catalog date "1988.".
- catalog dateCopyrighted "1988.".
- catalog description "Bibliography: p. 165-175.".
- catalog description "Games in logic / Johan van Benthem -- Games and representation / Jan van Eijck -- On how to convince a hangman / A.J.M. van Hoof -- Conditionals in DR theory / Hans Kamp -- Logic-based open systems / Robert Kowalski -- Dialogue sequents and quick proofs of completeness / Eric C.W. Krabbe -- Argumentation theory and knowledge representation / Drs. P.A. Smit -- Generic generalisations, discourse representation structures, and knowledge representation / Gerhard Heyer.".
- catalog extent "175 p. :".
- catalog identifier "3484319194".
- catalog isPartOf "Sprach und Information, 0722-298X ; Bd. 19".
- catalog issued "1988".
- catalog issued "1988.".
- catalog language "eng".
- catalog publisher "Tübingen : M. Niemeyer Verlag,".
- catalog subject "B105.R4 C65 1985".
- catalog subject "Logic, Symbolic and mathematical Congresses.".
- catalog subject "Representation (Philosophy) Congresses.".
- catalog subject "Semantics (Philosophy) Congresses.".
- catalog tableOfContents "Games in logic / Johan van Benthem -- Games and representation / Jan van Eijck -- On how to convince a hangman / A.J.M. van Hoof -- Conditionals in DR theory / Hans Kamp -- Logic-based open systems / Robert Kowalski -- Dialogue sequents and quick proofs of completeness / Eric C.W. Krabbe -- Argumentation theory and knowledge representation / Drs. P.A. Smit -- Generic generalisations, discourse representation structures, and knowledge representation / Gerhard Heyer.".
- catalog title "Representation and reasoning : proceedings of the Stuttgart Conference Workshop on Discourse Representation, Dialogue Tableaux, and Logic Programming / Jakob Ph. Hoepelman (Hg.).".
- catalog type "text".